[minor code cleanups in typechecker
John Meacham <john@repetae.net>**20051207000044] hunk ./FrontEnd/TIMain.hs 21
-module TIMain (tiProgram, makeProgram, getFunDeclsBg) where
+module TIMain (tiProgram, makeProgram) where
hunk ./FrontEnd/TIMain.hs 65
+type Expl = (Scheme, HsDecl)
+type Impl = HsDecl
+-- this is different than the "Typing Haskell in Haskell" paper
+-- we do not further sub-divide the implicitly typed declarations in
+-- a binding group.
+type BindGroup = ([Expl], [Impl])
+type Program = [BindGroup]
hunk ./FrontEnd/TIMain.hs 518
-type Expl = (Scheme, HsDecl)
hunk ./FrontEnd/TIMain.hs 567
-type Impl = HsDecl
hunk ./FrontEnd/TIMain.hs 620
--- this is different than the "Typing Haskell in Haskell" paper
--- we do not further sub-divide the implicitly typed declarations in
--- a binding group.
-type BindGroup = ([Expl], [Impl])
hunk ./FrontEnd/TIMain.hs 684
-type Program = [BindGroup]
hunk ./FrontEnd/TIMonad.hs 70
-      tcSigs              :: SigEnv
+      tcSigs              :: SigEnv,
+      -- Used by new typechecker only
+      tcCollectedEnv      :: IORef (Map.Map Name Scheme),
+      tcCurrentEnv        :: Map.Map Name Scheme