@@ -158,8 +158,8 @@ renameInValue v = return v
158-- Renames within case alternatives.
158-- Renames within case alternatives.
160renameInCaseAlternative :: CaseAlternative -> Rename CaseAlternative
160renameInCaseAlternative :: CaseAlternative -> Rename CaseAlternative
161−renameInCaseAlternative (CaseAlternative bs g v) =
161+renameInCaseAlternative (CaseAlternative bs g v) =
162− CaseAlternative <$> mapM renameInBinder bs <*> maybeM renameInValue g <*> renameInValue v
162+ newScope $ CaseAlternative <$> mapM renameInBinder bs <*> maybeM renameInValue g <*> renameInValue v
165-- Renames within binders.
165-- Renames within binders.