@@ -39,7 +39,11 @@ runRename scope = flip evalState (M.fromList $ zip scope scope)
39-- when leaving an Abs.
39-- when leaving an Abs.
41newScope :: Rename a -> Rename a
41newScope :: Rename a -> Rename a
42−newScope x = get >>= lift . evalStateT x
42+newScope x = do
45-- Adds a new scope entry for an ident. If the ident is already present, a new
49-- Adds a new scope entry for an ident. If the ident is already present, a new