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

Turned off the checkFunction pass for now, since it is over-eager at spotting problems with Rain functions

Browse Source
This commit is contained in:
Neil Brown 2008-03-25 18:46:51 +00:00
parent f9d55d2c65
commit bd7584e280
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
frontends/RainPasses.hs
View File

@ -215,8 +215,9 @@ transformRangeRep = doGeneric `extM` doExpression
(A.ExprVariable m $ A.Variable m rep) (A.ExprVariable m $ A.Variable m rep)
doExpression e = doGeneric e doExpression e = doGeneric e
-- TODO this is almost certainly better figured out from the CFG
checkFunction :: Data t => t -> PassM t checkFunction :: Data t => t -> PassM t
checkFunction = everywhereM (mkM checkFunction') checkFunction = return -- everywhereM (mkM checkFunction')
where where
checkFunction' :: A.Specification -> PassM A.Specification checkFunction' :: A.Specification -> PassM A.Specification
checkFunction' spec@(A.Specification _ n (A.Function m _ _ _ (Right body))) checkFunction' spec@(A.Specification _ n (A.Function m _ _ _ (Right body)))