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

Cleared up the mess of old stuff in the list of rain passes

Browse Source
This commit is contained in:
Neil Brown 2008-05-18 11:36:08 +00:00
parent 8cc602100d
commit 6afea19ee6
1 changed files with 1 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
frontends/RainPasses.hs
View File

@ -47,23 +47,12 @@ rainPasses = makePassesDep' ((== FrontendRain) . csFrontend)
,("Fold all constant expressions", constantFoldPass, [Prop.noInt] ++ Prop.agg_namesDone ,("Fold all constant expressions", constantFoldPass, [Prop.noInt] ++ Prop.agg_namesDone
++ Prop.agg_typesDone, [Prop.constantsFolded, Prop.constantsChecked]) ++ Prop.agg_typesDone, [Prop.constantsFolded, Prop.constantsChecked])
,("Type Checking", performTypeUnification, [Prop.noInt] ++ Prop.agg_namesDone, ,("Rain Type Checking", performTypeUnification, [Prop.noInt] ++ Prop.agg_namesDone,
Prop.agg_typesDone) Prop.agg_typesDone)
-- ,("Annotate integer literal types", annotateIntLiteralTypes, [Prop.noInt] ++ namesDone, [Prop.intLiteralsInBounds])
-- ,("Annotate list literal and range types", annotateListLiteralTypes,
-- namesDone ++ [Prop.noInt, Prop.intLiteralsInBounds], [Prop.listsGivenType])
,("Record inferred name types in dictionary", recordInfNameTypes, ,("Record inferred name types in dictionary", recordInfNameTypes,
Prop.agg_namesDone \\ [Prop.inferredTypesRecorded], [Prop.inferredTypesRecorded]) Prop.agg_namesDone \\ [Prop.inferredTypesRecorded], [Prop.inferredTypesRecorded])
-- ,("Check types in expressions",checkExpressionTypes, namesDone ++ [Prop.noInt, Prop.constantsFolded, Prop.intLiteralsInBounds, Prop.inferredTypesRecorded], [Prop.expressionTypesChecked])
-- ,("Check types in assignments", checkAssignmentTypes, typesDone ++ [Prop.expressionTypesChecked], [Prop.processTypesChecked])
-- ,("Check types in if/while conditions",checkConditionalTypes, typesDone ++ [Prop.expressionTypesChecked], [Prop.processTypesChecked])
-- ,("Check types in input/output",checkCommTypes, typesDone ++ [Prop.expressionTypesChecked], [Prop.processTypesChecked])
-- ,("Check parameters in process calls", matchParamPass, typesDone, [Prop.processTypesChecked,
-- Prop.functionTypesChecked])
,("Find and tag the main function", findMain, Prop.agg_namesDone, [Prop.mainTagged]) ,("Find and tag the main function", findMain, Prop.agg_namesDone, [Prop.mainTagged])
,("Convert seqeach/pareach loops over ranges into simple replicated SEQ/PAR", ,("Convert seqeach/pareach loops over ranges into simple replicated SEQ/PAR",
transformEachRange, Prop.agg_typesDone ++ [Prop.constantsFolded], [Prop.eachRangeTransformed]) transformEachRange, Prop.agg_typesDone ++ [Prop.constantsFolded], [Prop.eachRangeTransformed])