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