tuning gf optimization

2026-06-27 03:46:28 -06:00 · 2007-10-10 20:29:10 +00:00
parent 0fdb2dbc48
commit 697cf5f440
3 changed files with 29 additions and 19 deletions
@@ -230,7 +230,7 @@ purgeGrammar abstr gr =
  acncs = abstr : M.allConcretes gr abstr
  isSingle = True
  complete (i,M.ModMod m) = M.isCompleteModule m --- not . isIncompleteCanon
-  unopt = unshareModule gr
+  unopt = unshareModule gr -- subexp elim undone when compiled

 type ParamEnv =
  (Map.Map (Ident,[Label]) (Type,Integer), -- numbered labels