shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Don't reset unique counter in tcReset.

--- a/src/MicroHs/TypeCheck.hs

+++ b/src/MicroHs/TypeCheck.hs

@@ -578,8 +578,8 @@

 -- Reset type variable and unification map

 tcReset :: T ()

 tcReset = T.do

-  TC mn _ fx tenv senv venv ast _ m <- get

-  put (TC mn 0 fx tenv senv venv ast IM.empty m)

+  TC mn u fx tenv senv venv ast _ m <- get

+  put (TC mn u fx tenv senv venv ast IM.empty m)

 newUVar :: T EType

 newUVar = EUVar <$> newUniq

-- 

⑨