@@ -168,11 +168,11 @@ renameInValue (Var (Qualified Nothing name)) =
168renameInValue (IfThenElse v1 v2 v3) =
168renameInValue (IfThenElse v1 v2 v3) =
169 IfThenElse <$> renameInValue v1 <*> renameInValue v2 <*> renameInValue v3
169 IfThenElse <$> renameInValue v1 <*> renameInValue v2 <*> renameInValue v3
170renameInValue (Case vs alts) =
170renameInValue (Case vs alts) =
171− Case <$> mapM renameInValue vs <*> mapM renameInCaseAlternative alts
171+ newScope $ Case <$> mapM renameInValue vs <*> mapM renameInCaseAlternative alts
172renameInValue (TypedValue check v ty) =
172renameInValue (TypedValue check v ty) =
173 TypedValue check <$> renameInValue v <*> pure ty
173 TypedValue check <$> renameInValue v <*> pure ty
174renameInValue (Let ds v) =
174renameInValue (Let ds v) =
175− Let <$> mapM (renameInDecl False) ds <*> renameInValue v
175+ newScope $ Let <$> mapM (renameInDecl False) ds <*> renameInValue v
176renameInValue (TypeClassDictionaryConstructorApp name v) =
176renameInValue (TypeClassDictionaryConstructorApp name v) =
177 TypeClassDictionaryConstructorApp name <$> renameInValue v
177 TypeClassDictionaryConstructorApp name <$> renameInValue v
178renameInValue (PositionedValue pos v) =
178renameInValue (PositionedValue pos v) =
@@ -184,7 +184,7 @@ renameInValue v = return v
185renameInCaseAlternative :: CaseAlternative -> Rename CaseAlternative
185renameInCaseAlternative :: CaseAlternative -> Rename CaseAlternative
186renameInCaseAlternative (CaseAlternative bs g v) =
186renameInCaseAlternative (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
190-- Renames within binders.
190-- Renames within binders.