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

Corrected the spelling of the name of one of the Rain passes

Browse Source
This commit is contained in:
Neil Brown 2008-03-20 16:46:45 +00:00
parent d4991461a5
commit af4a66e2e4
3 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
frontends/RainPasses.hs
View File

@ -45,7 +45,8 @@ rainPasses = makePassesDep' ((== FrontendRain) . csFrontend)
uniquifyAndResolveVars, [Prop.noInt], namesDone) uniquifyAndResolveVars, [Prop.noInt], namesDone)
,("Fold all constant expressions", constantFoldPass, [Prop.noInt] ++ namesDone, [Prop.constantsFolded, Prop.constantsChecked]) ,("Fold all constant expressions", constantFoldPass, [Prop.noInt] ++ namesDone, [Prop.constantsFolded, Prop.constantsChecked])
,("Annotate integer literal types", annnotateIntLiteralTypes, [Prop.noInt] ++ namesDone, [Prop.intLiteralsInBounds]) ,("Annotate integer literal types", annotateIntLiteralTypes, [Prop.noInt] ++ namesDone, [Prop.intLiteralsInBounds])
,("Record inferred name types in dictionary", recordInfNameTypes, namesDone ++ [Prop.intLiteralsInBounds], [Prop.inferredTypesRecorded]) ,("Record inferred name types in dictionary", recordInfNameTypes, namesDone ++ [Prop.intLiteralsInBounds], [Prop.inferredTypesRecorded])

2
frontends/RainTypes.hs
View File

@ -56,7 +56,7 @@ constantFoldPass = applyDepthM doExpression
-- | Annotates all integer literal types -- | Annotates all integer literal types
annnotateIntLiteralTypes :: Data t => t -> PassM t annnotateIntLiteralTypes :: Data t => t -> PassM t
annnotateIntLiteralTypes = applyDepthM doExpression annnotateIntLiteralTypes = everywhereASTM doExpression
where where
--Function is separated out to easily provide the type description of Integer --Function is separated out to easily provide the type description of Integer
powOf2 :: Integer -> Integer powOf2 :: Integer -> Integer

4
frontends/RainTypesTest.hs
View File

@ -96,9 +96,9 @@ annotateIntTest = TestList
where where
signed :: A.Type -> Integer -> Test signed :: A.Type -> Integer -> Test
signed t n = TestCase $ testPass ("annotateIntTest: " ++ show n) (tag3 A.Literal DontCare t $ tag2 A.IntLiteral DontCare (show n)) signed t n = TestCase $ testPass ("annotateIntTest: " ++ show n) (tag3 A.Literal DontCare t $ tag2 A.IntLiteral DontCare (show n))
(annnotateIntLiteralTypes $ int64Literal n) (return ()) (annotateIntLiteralTypes $ int64Literal n) (return ())
failSigned :: Integer -> Test failSigned :: Integer -> Test
failSigned n = TestCase $ testPassShouldFail ("annotateIntTest: " ++ show n) (annnotateIntLiteralTypes $ int64Literal n) (return ()) failSigned n = TestCase $ testPassShouldFail ("annotateIntTest: " ++ show n) (annotateIntLiteralTypes $ int64Literal n) (return ())
annotateListLiteralTest :: Test annotateListLiteralTest :: Test