Fix for dotnet#30

Code was comparing a pre-erasure list of arguments with a post-erasure list
andrewjkennedy · Jan 28, 2015 · bf7588c · bf7588c
1 parent e4cf4a2
commit bf7588c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/fsharp/ilxgen.fs b/src/fsharp/ilxgen.fs
@@ -2746,7 +2746,7 @@ and GenNamedLocalTyFuncCall cenv (cgbuf: CodeGenBuffer) eenv typ cloinfo tyargs
 
     let ilContractTy = mkILBoxedTy ilContractCloTySpec.TypeRef ilContractClassTyargs
 
-    if not (ilContractMethTyargs.Length = tyargs.Length) then errorR(Error(FSComp.SR.ilIncorrectNumberOfTypeArguments(),m));
+    if not (ilContractMethTyargs.Length = ilTyArgs.Length) then errorR(Error(FSComp.SR.ilIncorrectNumberOfTypeArguments(),m));
 
     // Local TyFunc are represented as a $contract type. they currently get stored in a value of type object
     // Recover result (value or reference types) via unbox_any.