Commit0ec6103

authored and

unknown

committed

Type inference involving generic param arrays

1 parent0080456 commit0ec6103Copy full SHA for 0ec6103

File tree

+14

-5

lines changed

+14

-5

lines changed

Lines changed: 1 addition & 5 deletions

Original file line number	Diff line number	Diff line change
`@@ -1915,11 +1915,7 @@ and ArgsMustSubsumeOrConvert`
`1915`	`1915`	`letcalledArgTy= AdjustCalledArgType csenv.InfoReader isConstraint calledArg callerArg`
`1916`	`1916`	`SolveTypSubsumesTypWithReport csenv ndeep m trace calledArgTy callerArg.Type++(fun()->`
`1917`	`1917`
`1918`		`-if calledArg.IsParamArray&&`
`1919`		`- isAppTy g calledArgTy&&`
`1920`		`-(let_,tinstf= destAppTy g calledArgTy`
`1921`		`- tinstf.Length=1&&`
`1922`		`- TypesFeasiblyEquiv ndeep g amap m(List.head tinstf) callerArg.Type)`
	`1918`	`+if calledArg.IsParamArray&&not(isArray1DTy g calledArgTy)`
`1923`	`1919`	`then`
`1924`	`1920`	`ErrorD(Error(FSComp.SR.csMethodExpectsParams(),m))`
`1925`	`1921`	`else`

Lines changed: 10 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -8,6 +8,16 @@ call %~d0%~p0..\..\..\config.bat`
`8`	`8`	`call ..\..\single-neg-test.bat neg91`
`9`	`9`	`@if ERRORLEVEL1goto Error`
`10`	`10`
	`11`	`+"%FSC%"%fsc_flags% --target:exe -o:pos14.exe pos14.fs`
	`12`	`+@if ERRORLEVEL1goto Error`
	`13`	`+`
	`14`	`+"%PEVERIFY%" pos14.exe`
	`15`	`+@if ERRORLEVEL1goto Error`
	`16`	`+`
	`17`	`+pos14.exe`
	`18`	`+@if ERRORLEVEL1goto Error`
	`19`	`+`
	`20`	`+`
`11`	`21`	`"%FSC%"%fsc_flags% --target:exe -o:pos13.exe pos13.fs`
`12`	`22`	`@if ERRORLEVEL1goto Error`
`13`	`23`

Lines changed: 3 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+openSystem`
	`2`	`+typeA<'T>()=static memberM([<ParamArray>]args:'T[])= args`
	`3`	`+letm(args:'T[])= A<'T>.M(args)`

Comments

(0)