[process type arguments on case statements properly
John Meacham <john@repetae.net>**20060315032655] hunk ./E/SSimplify.hs 363
-        return ECase { eCaseScrutinee = e, eCaseType = t, eCaseBind = b, eCaseAlts = as'', eCaseDefault = d''} -- XXX     -- we duplicate code so continue for next renaming pass before going further.
+        t' <- dosub sub t
+        return ECase { eCaseScrutinee = e, eCaseType = t', eCaseBind = b, eCaseAlts = as'', eCaseDefault = d''} -- XXX     -- we duplicate code so continue for next renaming pass before going further.
hunk ./E/SSimplify.hs 429
+        t' <- dosub sub t
hunk ./E/SSimplify.hs 438
-                return $ EError ("match falls off bottom: " ++ pprint l) t
+                return $ EError ("match falls off bottom: " ++ pprint l) t'