@@ -425,7 +425,7 @@ irSC vs (ProjCase tm alt) = do
425-- This is important because newtyped constructors are compiled away entirely
425-- This is important because newtyped constructors are compiled away entirely
426-- and we need to do that everywhere.
426-- and we need to do that everywhere.
428−-- 2. Unused-case elimination:
428+-- 2. Unused-case elimination (only valid for singleton branches):
429-- case {e0} of ==> P
429-- case {e0} of ==> P
430-- C(x,y) -> P[... x,y not used ...]
430-- C(x,y) -> P[... x,y not used ...]