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

Don't resolve user types until after type checking.

Browse Source 
This is important -- a user type defined as INT in occam must not be treated
the same as INT when typechecking.
This commit is contained in:
Adam Sampson 2008-03-22 00:12:54 +00:00
parent 9cea36257e
commit e23a12c71d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
transformations/SimplifyTypes.hs
View File

@ -32,8 +32,8 @@ import Types
simplifyTypes :: [Pass] simplifyTypes :: [Pass]
simplifyTypes = makePassesDep simplifyTypes = makePassesDep
[ ("Resolve types in AST", resolveNamedTypes, Prop.agg_namesDone, [Prop.typesResolvedInAST]) [ ("Resolve types in AST", resolveNamedTypes, Prop.agg_namesDone ++ [Prop.expressionTypesChecked, Prop.processTypesChecked], [Prop.typesResolvedInAST])
, ("Resolve types in state", rntState, Prop.agg_namesDone, [Prop.typesResolvedInState]) , ("Resolve types in state", rntState, Prop.agg_namesDone ++ [Prop.expressionTypesChecked, Prop.processTypesChecked], [Prop.typesResolvedInState])
] ]
-- | Turn named data types into their underlying types. -- | Turn named data types into their underlying types.