Commit392a6f6

authored

Stop UnifyTypes recovery in TcDelayed (dotnet#5524)

* Stop UnifyTypes recovery in TcDelayed* Added test* Added baseline* Added neg108 test

1 parent4064694 commit392a6f6Copy full SHA for 392a6f6

File tree

+16

-1

lines changed

+16

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -8448,7 +8448,7 @@ and TcDelayed cenv overallTy env tpenv mExpr expr exprty (atomicFlag:ExprAtomicF`
`8448`	`8448`	`match delayed with`
`8449`	`8449`	`\| []`
`8450`	`8450`	`\| DelayedDot :: _ ->`
`8451`		`-UnifyTypesAndRecover cenv env mExpr overallTy exprty`
	`8451`	`+UnifyTypes cenv env mExpr overallTy exprty`
`8452`	`8452`	`expr.Expr, tpenv`
`8453`	`8453`	`// expr.M(args) where x.M is a .NET method or index property`
`8454`	`8454`	`// expr.M<tyargs>(args) where x.M is a .NET method or index property`

Lines changed: 3 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -2393,6 +2393,9 @@ module TypecheckTests =`
`2393`	`2393`	`[<Test>]`
`2394`	`2394`	let``type check neg107``()= singleNegTest(testConfig"typecheck/sigs")"neg107"
`2395`	`2395`
	`2396`	`+[<Test>]`
	`2397`	+let``type check neg108``()= singleNegTest(testConfig"typecheck/sigs")"neg108"
	`2398`	`+`
`2396`	`2399`	`[<Test>]`
`2397`	`2400`	let``type check neg103``()= singleNegTest(testConfig"typecheck/sigs")"neg103"
`2398`	`2401`

Lines changed: 5 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,5 @@`
	`1`	`+`
	`2`	`+neg108.fs(4,19,4,23): typecheck error FS0001: This expression was expectedto have type`
	`3`	`+ 'Test'`
	`4`	`+but here has type`
	`5`	`+ 'Unit-> Test'`

Lines changed: 7 additions & 0 deletions

Comments

(0)