[We don't need SimplifyOpts to be a Monoid.
Lemmih <lemmih@gmail.com>**20081122035501
 Ignore-this: 443e30a8bff8fdfb7a6133c0b26e5985
] hunk ./E/SSimplify.hs 9
-    SimplifyOpts(..)
+    SimplifyOpts(..),
+    emptySimplifyOpts
hunk ./E/SSimplify.hs 296
-    {-! derive: Monoid !-}
+    {- derive: Monoid -}
+
+emptySimplifyOpts = SimpOpts { so_noInlining  = False
+                             , so_finalPhase  = False
+                             , so_boundVars   = mempty
+                             , so_forwardVars = mempty
+                             , so_boundVarsCache = mempty
+                             , so_cachedScope = mempty }
hunk ./Main.hs 298
-    let sopt = SS.cacheSimpOpts mempty {
+    let sopt = SS.cacheSimpOpts SS.emptySimplifyOpts {
hunk ./Main.hs 378
-            sopt = SS.cacheSimpOpts mempty {
+            sopt = SS.cacheSimpOpts SS.emptySimplifyOpts {
hunk ./Main.hs 565
-    prog <- simplifyProgram mempty "Main-One" verbose prog
+    prog <- simplifyProgram SS.emptySimplifyOpts "Main-One" verbose prog
hunk ./Main.hs 575
-    prog <- simplifyProgram mempty "Main-Two" verbose prog
+    prog <- simplifyProgram SS.emptySimplifyOpts "Main-Two" verbose prog
hunk ./Main.hs 585
-    prog <- simplifyProgram mempty { SS.so_finalPhase = True } "SuperSimplify no rules" verbose prog
+    prog <- simplifyProgram SS.emptySimplifyOpts { SS.so_finalPhase = True } "SuperSimplify no rules" verbose prog
hunk ./Main.hs 604
-    prog <- simplifyProgram mempty { SS.so_finalPhase = True } "SuperSimplify after Boxy WorkWrap" verbose prog
+    prog <- simplifyProgram SS.emptySimplifyOpts { SS.so_finalPhase = True } "SuperSimplify after Boxy WorkWrap" verbose prog