Commit28e3037

committed

check if we have an array

1 parentcbaaae6 commit28e3037Copy full SHA for 28e3037

File tree

-2

lines changed

-2

lines changed

Lines changed: 4 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -8228,8 +8228,10 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed =`
`8228`	`8228`
`8229`	`8229`	`match expr.Expr with`
`8230`	`8230`	`\| Expr.Val (d,_,_) when`
`8231`		`- HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_Dictionary d.Type \|\|`
`8232`		`- HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IDictionary d.Type`
	`8231`	`+ let typ = d.Type`
	`8232`	`+ HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_Dictionary typ \|\|`
	`8233`	`+ HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IDictionary typ \|\|`
	`8234`	`+ isArray1DTy cenv.g typ`
`8233`	`8235`	`->`
`8234`	`8236`	`error (NotAFunction(denv,overallTy,true,mExpr,mArg))`
`8235`	`8237`	`\| _ -> error (NotAFunction(denv,overallTy,false,mExpr,mArg))`

Comments

(0)