Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix indentation

Browse source
This commit is contained in:
Martin Fredin 2023-02-18 13:27:58 +01:00
parent ad615cc9d8
commit 21fb6bf5ed
1 changed files with 21 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

43
src/Renamer.hs
View file

@ -40,34 +40,33 @@ renameLocalBind old_names (Bind name t _ parms rhs) = do
renameExp :: Names -> Exp -> Rn (Names, Exp) renameExp :: Names -> Exp -> Rn (Names, Exp)
renameExp old_names = \case renameExp old_names = \case
EId n -> pure (old_names, EId . fromMaybe n $ Map.lookup n old_names)
EId n -> pure (old_names, EId . fromMaybe n $ Map.lookup n old_names) EInt i1 -> pure (old_names, EInt i1)
EInt i1 -> pure (old_names, EInt i1) EApp e1 e2 -> do
(env1, e1') <- renameExp old_names e1
(env2, e2') <- renameExp old_names e2
pure (Map.union env1 env2, EApp e1' e2')
EApp e1 e2 -> do EAdd e1 e2 -> do
(env1, e1') <- renameExp old_names e1 (env1, e1') <- renameExp old_names e1
(env2, e2') <- renameExp old_names e2 (env2, e2') <- renameExp old_names e2
pure (Map.union env1 env2, EApp e1' e2') pure (Map.union env1 env2, EAdd e1' e2')
EAdd e1 e2 -> do ELet b e -> do
(env1, e1') <- renameExp old_names e1 (new_names, b) <- renameLocalBind old_names b
(env2, e2') <- renameExp old_names e2 (new_names', e') <- renameExp new_names e
pure (Map.union env1 env2, EAdd e1' e2') pure (new_names', ELet b e')
ELet b e -> do EAbs par t e -> do
(new_names, b) <- renameLocalBind old_names b (new_names, par') <- newName old_names par
(new_names', e') <- renameExp new_names e (new_names', e') <- renameExp new_names e
pure (new_names', ELet b e') pure (new_names', EAbs par' t e')
EAbs par t e -> do EAnn e t -> do
(new_names, par') <- newName old_names par (new_names, e') <- renameExp old_names e
(new_names', e') <- renameExp new_names e pure (new_names, EAnn e' t)
pure (new_names', EAbs par' t e')
EAnn e t -> do
(new_names, e') <- renameExp old_names e
pure (new_names, EAnn e' t)
-- | Create a new name and add it to name environment. -- | Create a new name and add it to name environment.
newName :: Names -> Ident -> Rn (Names, Ident) newName :: Names -> Ident -> Rn (Names, Ident)