Added the functionTypesChecked property to the dummy occam pass

2008-03-23 11:47:59 +00:00 · 2008-03-23 11:47:59 +00:00 · 1650d55d4e
commit 1650d55d4e
parent 78c2160eb4
1 changed files with 2 additions and 1 deletions
--- a/frontends/OccamPasses.hs
+++ b/frontends/OccamPasses.hs
@ -57,7 +57,8 @@ occamPasses = makePassesDep' ((== FrontendOccam) . csFrontend)
       [],
       Prop.agg_namesDone ++ [Prop.expressionTypesChecked,
                              Prop.inferredTypesRecorded, Prop.mainTagged,
-                              Prop.processTypesChecked])
+                              Prop.processTypesChecked,
+                              Prop.functionTypesChecked])
    ]

 -- | Fixed the types of array constructors according to the replicator count