#include "HsVersions.h"
-import Util ( panic )
+import Panic ( panic )
doStaticArgs = panic "SAT.doStaticArgs (ToDo)"
doStaticArgs binds
= do {
- beginPass "Static argument";
+ showPass "Static argument";
let { binds' = initSAT (mapSAT sat_bind binds) };
endPass "Static argument"
False -- No specific flag for dumping SAT
satExpr lit@(Lit _) = returnSAT lit
-satExpr e@(Con con types args)
- = mapSAT satAtom args `thenSAT_`
- returnSAT e
-
satExpr e@(Prim prim ty args)
= mapSAT satAtom args `thenSAT_`
returnSAT e