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