From bd7584e280d89c29a938bbce7a2590a8bd62ed71 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Tue, 25 Mar 2008 18:46:51 +0000 Subject: [PATCH] Turned off the checkFunction pass for now, since it is over-eager at spotting problems with Rain functions --- frontends/RainPasses.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/frontends/RainPasses.hs b/frontends/RainPasses.hs index be702b0..787206c 100644 --- a/frontends/RainPasses.hs +++ b/frontends/RainPasses.hs @@ -215,8 +215,9 @@ transformRangeRep = doGeneric `extM` doExpression (A.ExprVariable m $ A.Variable m rep) doExpression e = doGeneric e +-- TODO this is almost certainly better figured out from the CFG checkFunction :: Data t => t -> PassM t -checkFunction = everywhereM (mkM checkFunction') +checkFunction = return -- everywhereM (mkM checkFunction') where checkFunction' :: A.Specification -> PassM A.Specification checkFunction' spec@(A.Specification _ n (A.Function m _ _ _ (Right body)))