@@ -595,7 +595,6 @@ prune proj (Case n alts)
595 -- f (X x) = ... x ...
595 -- f (X x) = ... x ...
597 -- f x = ... x!0 ...
597 -- f x = ... x!0 ...
598− -- There's currently no code to handle this stuff. (TODO)
600 --as@[ConCase cn i args sc]
599 --as@[ConCase cn i args sc]
601 -- | proj -> mkProj n 0 args (prune proj sc)
600 -- | proj -> mkProj n 0 args (prune proj sc)
@@ -644,7 +643,7 @@ prune proj (Case n alts)
644 mkForceAlt n arg (DefaultCase rhs)
643 mkForceAlt n arg (DefaultCase rhs)
645 = DefaultCase (mkForce n arg rhs)
644 = DefaultCase (mkForce n arg rhs)
647− -- Figure out whether the SC is improjectible:
646+ -- Figure out whether the name is improjectible in the SC:
648 -- For example, (Case n _) only admits /names/ as "n"
647 -- For example, (Case n _) only admits /names/ as "n"
649 -- so we cannot replace n with a projection of anything.
648 -- so we cannot replace n with a projection of anything.
650 improjectibleSC :: Name -> SC -> Bool
649 improjectibleSC :: Name -> SC -> Bool