Added a dummy Rain pass to supply the new retypesChecked property

2008-03-21 15:07:56 +00:00 · 2008-03-21 15:07:56 +00:00 · dfea2c11a5
commit dfea2c11a5
parent 142926172d
1 changed files with 1 additions and 0 deletions
--- a/frontends/RainPasses.hs
+++ b/frontends/RainPasses.hs
@ -40,6 +40,7 @@ import Types
 rainPasses :: [Pass]
 rainPasses = makePassesDep' ((== FrontendRain) . csFrontend)
     [ ("AST Validity check, Rain #1", excludeNonRainFeatures, [], []) -- TODO work out some dependencies
+       ,("Dummy Rain pass", return, [], [Prop.retypesChecked])
       ,("Resolve Int -> Int64", transformInt, [], [Prop.noInt])
       ,("Uniquify variable declarations, record declared types and resolve variable names",
           uniquifyAndResolveVars, [Prop.noInt], namesDone)