@@ -168,11 +168,11 @@ renameInValue (Var (Qualified Nothing name)) =
168168renameInValue (IfThenElse v1 v2 v3) =
169169 IfThenElse <$> renameInValue v1 <*> renameInValue v2 <*> renameInValue v3
170170renameInValue (Case vs alts) =
171− Case <$> mapM renameInValue vs <*> mapM renameInCaseAlternative alts
171+ newScope $ Case <$> mapM renameInValue vs <*> mapM renameInCaseAlternative alts
172172renameInValue (TypedValue check v ty) =
173173 TypedValue check <$> renameInValue v <*> pure ty
174174renameInValue (Let ds v) =
175− Let <$> mapM (renameInDecl False) ds <*> renameInValue v
175+ newScope $ Let <$> mapM (renameInDecl False) ds <*> renameInValue v
176176renameInValue (TypeClassDictionaryConstructorApp name v) =
177177 TypeClassDictionaryConstructorApp name <$> renameInValue v
178178renameInValue (PositionedValue pos v) =
@@ -184,7 +184,7 @@ renameInValue v = return v
184184--
185185renameInCaseAlternative :: CaseAlternative -> Rename CaseAlternative
186186renameInCaseAlternative (CaseAlternative bs g v) =
187− newScope $ CaseAlternative <$> mapM renameInBinder bs <*> maybeM renameInValue g <*> renameInValue v
187+ CaseAlternative <$> mapM renameInBinder bs <*> maybeM renameInValue g <*> renameInValue v
188188
189189-- |
190190-- Renames within binders.