Regression test for issue dotnet#30

andrewjkennedy · Jan 29, 2015 · 6cc2e77 · 6cc2e77
1 parent 72635a9
commit 6cc2e77
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tests/fsharp/core/unitsOfMeasure/test.fs b/tests/fsharp/core/unitsOfMeasure/test.fs
@@ -16,6 +16,18 @@ let CreateBadImageFormatException () =
     let create a b c d (e:int<_>) (f:int) g = TheType.Create a b (int c) d e f g
     seq { yield create 0 0 0 0 0 0 [0] }
 
+
+// Regression test for https://github.com/Microsoft/visualfsharp/issues/30
+// (Compilation error: "Incorrect number of type arguments to local call"
+type R<[<Measure>] 'u> (f : float<'u>) =
+    member r.Member = f
+
+let get (r : R<_>) = r.Member
+let foo =
+    let problem _ = List.map get
+    problem // Error: Incorrect number of type arguments to local call
+
+
 module TestLibrary =
 
     [<Measure>]