diff --git a/frontends/OccamPasses.hs b/frontends/OccamPasses.hs index 6146fd5..4f2f826 100644 --- a/frontends/OccamPasses.hs +++ b/frontends/OccamPasses.hs @@ -41,7 +41,7 @@ occamPasses = [ occamOnlyPass "Dummy occam pass" [] (Prop.agg_namesDone ++ [Prop.mainTagged]) return , inferTypes , foldConstants - , fixConstructorTypes +-- , fixConstructorTypes , checkConstants , resolveAmbiguities , checkTypes