Commit72635a9

andrewjkennedy

committed

Code was comparing a pre-erasure list of arguments with a post-erasure list

1 parentf6cea7c commit72635a9Copy full SHA for 72635a9

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -2746,7 +2746,7 @@ and GenNamedLocalTyFuncCall cenv (cgbuf: CodeGenBuffer) eenv typ cloinfo tyargs`
`2746`	`2746`
`2747`	`2747`	`letilContractTy= mkILBoxedTy ilContractCloTySpec.TypeRef ilContractClassTyargs`
`2748`	`2748`
`2749`		`-ifnot(ilContractMethTyargs.Length=tyargs.Length)then errorR(Error(FSComp.SR.ilIncorrectNumberOfTypeArguments(),m));`
	`2749`	`+ifnot(ilContractMethTyargs.Length=ilTyArgs.Length)then errorR(Error(FSComp.SR.ilIncorrectNumberOfTypeArguments(),m));`
`2750`	`2750`
`2751`	`2751`	`// Local TyFunc are represented as a $contract type. they currently get stored in a value of type object`
`2752`	`2752`	`// Recover result (value or reference types) via unbox_any.`

Comments

(0)