Revert "replace List.splitAt >> fst with List.take"

This reverts commit c4f0605.
dotnet · Jun 5, 2018 · 2cb9693 · 2cb9693
1 parent 155f4d8
commit 2cb9693
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/fsharp/SignatureConformance.fs b/src/fsharp/SignatureConformance.fs
@@ -236,7 +236,7 @@ type Checker(g, amap, denv, remapInfo: SignatureRepackageInfo, checkingSig) =
                   err(fun(x, y, z) -> FSComp.SR.ValueNotContainedMutabilityGenericParametersDiffer(x, y, z, string mtps, string ntps))
                 elif implValInfo.KindsOfTypars <> sigValInfo.KindsOfTypars then
                   err(FSComp.SR.ValueNotContainedMutabilityGenericParametersAreDifferentKinds)
-                elif not (sigArgInfos.Length <= implArgInfos.Length && List.forall2 (fun x y -> List.length x <= List.length y) sigArgInfos (List.truncate sigArgInfos.Length implArgInfos)) then 
+                elif not (sigArgInfos.Length <= implArgInfos.Length && List.forall2 (fun x y -> List.length x <= List.length y) sigArgInfos (fst (List.splitAt sigArgInfos.Length implArgInfos))) then 
                   err(fun(x, y, z) -> FSComp.SR.ValueNotContainedMutabilityAritiesDiffer(x, y, z, id.idText, string sigArgInfos.Length, id.idText, id.idText))
                 else 
                   let implArgInfos = implArgInfos |> List.take sigArgInfos.Length