Commitfa5e972

committed

Add test for DU which is accessed without type but RequiredQualifiedAccess was set - relates todotnet#95

1 parente8a652e commitfa5e972Copy full SHA for fa5e972

File tree

+10

-0

lines changed

+10

-0

lines changed

Lines changed: 2 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -4,3 +4,5 @@ neg90.fs(4,9,4,12): typecheck error FS0001: A generic construct requires that th`
`4`	`4`	`neg90.fs(7,22,7,25): typecheck error FS0039: The type 'foo' isnot defined`
`5`	`5`
`6`	`6`	`neg90.fs(7,22,7,25): typecheck error FS0039: The type 'foo' isnot defined`
	`7`	`+`
	`8`	`+neg90.fs(16,9,16,21): typecheck error FS0035: This construct is deprecated: The union typefor union case 'Member' was definded with the RequireQualifiedAccessAttribute. Include the name of the uniontype('DU')in the name you are using.'`

Lines changed: 8 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -6,3 +6,11 @@ let _ = foo<Recd>()`
`6`	`6`	`// See https://github.com/Microsoft/visualfsharp/issues/38`
`7`	`7`	`type[<Measure>]N= foo// foo is undefined`
`8`	`8`	`typeM2= float<N>`
	`9`	`+`
	`10`	`+`
	`11`	`+// See https://github.com/Microsoft/visualfsharp/issues/95`
	`12`	`+moduleFirst=`
	`13`	`+[<RequireQualifiedAccess>]`
	`14`	`+typeDU= Memberofint`
	`15`	`+`
	`16`	`+let_= First.Member(0)`

Comments

(0)