Commit6cc2e77

andrewjkennedy

committed

Regression test for issuedotnet#30

1 parent72635a9 commit6cc2e77Copy full SHA for 6cc2e77

File tree

+12

-0

lines changed

+12

-0

lines changed

Lines changed: 12 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -16,6 +16,18 @@ let CreateBadImageFormatException () =`
`16`	`16`	`letcreate a b c d(e:int<_>)(f:int)g= TheType.Create a b(int c) d e f g`
`17`	`17`	`seq{yield create000000[0]}`
`18`	`18`
	`19`	`+`
	`20`	`+// Regression test for https://github.com/Microsoft/visualfsharp/issues/30`
	`21`	`+// (Compilation error: "Incorrect number of type arguments to local call"`
	`22`	`+typeR<[<Measure>]'u>(f:float<'u>)=`
	`23`	`+memberr.Member= f`
	`24`	`+`
	`25`	`+letget(r:R<_>)= r.Member`
	`26`	`+letfoo=`
	`27`	`+letproblem _= List.map get`
	`28`	`+ problem// Error: Incorrect number of type arguments to local call`
	`29`	`+`
	`30`	`+`
`19`	`31`	`moduleTestLibrary=`
`20`	`32`
`21`	`33`	`[<Measure>]`

Comments

(0)