[Clarify a case optimisation.
Lemmih <lemmih@gmail.com>**20081123051318
 Ignore-this: 619b56c41e2e94f05985a425a18c6381
] hunk ./E/SSimplify.hs 644
-            doCase e t b as (Just d) | te /= tWorld__, (ELit LitCons { litName = cn }) <- followAliases dt te, Just Constructor { conChildren = DataNormal cs } <- getConstructor cn dt, length as == length cs - 1 || (False && length as < length cs && isAtomic d)  = do
+{-
+  Remove the default case if possible.
+  case lst of [] -> True; _ -> False
+  ==>
+  case lst of [] -> True; (:) _ _ -> False
+-}
+            doCase e t b as (Just d) | te /= tWorld__, (ELit LitCons { litName = cn }) <- followAliases dt te
+                                     , Just Constructor { conChildren = DataNormal cs } <- getConstructor cn dt
+                                     , length as == length cs - 1 || (False && length as < length cs && isAtomic d)  = do