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

Made sure that user types are resolved when fixing array constructor types

Browse Source
This commit is contained in:
Neil Brown 2009-03-31 16:19:18 +00:00
parent 2edf5cc43d
commit 33ca2fe253
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
frontends/OccamPasses.hs
View File

@ -58,7 +58,8 @@ fixConstructorTypes = occamOnlyPass "Fix the types of array constructors"
where where
doExpression :: A.Expression -> PassM A.Expression doExpression :: A.Expression -> PassM A.Expression
doExpression (A.Literal m prevT lit@(A.ArrayListLiteral _ expr)) doExpression (A.Literal m prevT lit@(A.ArrayListLiteral _ expr))
= do t' <- doExpr [] (getDims prevT) expr = do prevT' <- underlyingType m prevT
t' <- doExpr [] (getDims prevT') expr
return $ A.Literal m t' lit return $ A.Literal m t' lit
where where
getDims :: A.Type -> [A.Dimension] getDims :: A.Type -> [A.Dimension]