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