shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Formatting.

--- a/src/MicroHs/paper/TcMonad.hs

+++ b/src/MicroHs/paper/TcMonad.hs

@@ -126,9 +126,9 @@

 newUnique :: Tc Uniq

 newUnique = Tc (\ (TcEnv {uniqs = ref}) ->

-                  do { uniq <- readIORef ref ;

-                       ; writeIORef ref (uniq + 1)

-                       ; return (Right uniq) })

+                  do { uniq <- readIORef ref

+                     ; writeIORef ref (uniq + 1)

+                     ; return (Right uniq) })

 ------------------------------------------

 -- Instantiation --

@@ -162,7 +162,7 @@

 -- Quantify over the specified type variables (all flexible)

 quantify tvs ty

   = do { mapM_ bind (tvs `zip` new_bndrs) -- 'bind' is just a cunning way

-       ; ty' <- zonkType ty -- of doing the substitution

+       ; ty' <- zonkType ty               -- of doing the substitution

        ; return (ForAll new_bndrs ty') }

   where

     used_bndrs = tyVarBndrs ty -- Avoid quantified type variables in use

@@ -178,8 +178,8 @@

 ------------------------------------------

 getEnvTypes :: Tc [Type]

 -- Get the types mentioned in the environment

-getEnvTypes = do { env <- getEnv;

-                   ; return (Map.elems env) }

+getEnvTypes = do { env <- getEnv

+                 ; return (Map.elems env) }

 getMetaTyVars :: [Type] -> Tc [MetaTv]

 -- This function takes account of zonking, and returns a set

 -- (no duplicates) of unbound meta-type variables

-- 

⑨