suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix type inference for BytesInExpr.

Browse Source
This commit is contained in:
Adam Sampson 2008-04-06 19:04:16 +00:00
parent 988c5c6fef
commit 3d1d2c4d9c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
frontends/OccamTypes.hs
View File

@ -652,6 +652,9 @@ inferTypes = applyExplicitM9 doExpression doDimension doSubscript
Nothing -> return Nothing Nothing -> return Nothing
e' <- inTypeContext ctx' $ inferTypes e e' <- inTypeContext ctx' $ inferTypes e
return $ A.SubscriptedExpr m s' e' return $ A.SubscriptedExpr m s' e'
A.BytesInExpr _ _ -> noTypeContext $ descend outer
-- FIXME: ExprConstr
-- FIXME: AllocMobile
-- Other expressions don't modify the type context. -- Other expressions don't modify the type context.
_ -> descend outer _ -> descend outer