We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see ourdocumentation.
There was an error while loading.Please reload this page.
1 parentc4f0605 commit155f4d8Copy full SHA for 155f4d8
src/fsharp/SignatureConformance.fs
@@ -236,7 +236,7 @@ type Checker(g, amap, denv, remapInfo: SignatureRepackageInfo, checkingSig) =
236
err(fun(x,y,z)-> FSComp.SR.ValueNotContainedMutabilityGenericParametersDiffer(x, y, z, string mtps, string ntps))
237
elif implValInfo.KindsOfTypars<> sigValInfo.KindsOfTyparsthen
238
err(FSComp.SR.ValueNotContainedMutabilityGenericParametersAreDifferentKinds)
239
-elifnot(sigArgInfos.Length<= implArgInfos.Length&& List.forall2(fun x y-> List.length x<= List.length y) sigArgInfos(List.take sigArgInfos.Length implArgInfos))then
+elifnot(sigArgInfos.Length<= implArgInfos.Length&& List.forall2(fun x y-> List.length x<= List.length y) sigArgInfos(List.truncate sigArgInfos.Length implArgInfos))then
240
err(fun(x,y,z)-> FSComp.SR.ValueNotContainedMutabilityAritiesDiffer(x, y, z, id.idText, string sigArgInfos.Length, id.idText, id.idText))
241
else
242
letimplArgInfos= implArgInfos|> List.take sigArgInfos.Length
