Commit2cb9693

Vasily Kirichenko

authored and

Vasily Kirichenko

committed

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

This reverts commitc4f0605.

1 parent155f4d8 commit2cb9693Copy full SHA for 2cb9693

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -236,7 +236,7 @@ type Checker(g, amap, denv, remapInfo: SignatureRepackageInfo, checkingSig) =`
`236`	`236`	`err(fun(x,y,z)-> FSComp.SR.ValueNotContainedMutabilityGenericParametersDiffer(x, y, z, string mtps, string ntps))`
`237`	`237`	`elif implValInfo.KindsOfTypars<> sigValInfo.KindsOfTyparsthen`
`238`	`238`	`err(FSComp.SR.ValueNotContainedMutabilityGenericParametersAreDifferentKinds)`
`239`		`-elifnot(sigArgInfos.Length<= implArgInfos.Length&& List.forall2(fun x y-> List.length x<= List.length y) sigArgInfos(List.truncate sigArgInfos.Length implArgInfos))then`
	`239`	`+elifnot(sigArgInfos.Length<= implArgInfos.Length&& List.forall2(fun x y-> List.length x<= List.length y) sigArgInfos(fst(List.splitAt sigArgInfos.Length implArgInfos)))then`
`240`	`240`	`err(fun(x,y,z)-> FSComp.SR.ValueNotContainedMutabilityAritiesDiffer(x, y, z, id.idText, string sigArgInfos.Length, id.idText, id.idText))`
`241`	`241`	`else`
`242`	`242`	`letimplArgInfos= implArgInfos\|> List.take sigArgInfos.Length`

Comments

(0)