[TAG heynpeecs
John Meacham <john@repetae.net>**20051210055515] 
<
[improve unification error messages
John Meacham <john@repetae.net>**20051210055312] 
[fix type printing, pretty print types in error messages
John Meacham <john@repetae.net>**20051210050641] 
[add :echo and :addhist commands, read config file on startup of jhci
John Meacham <john@repetae.net>**20051210044736] 
[add a lot of new support functions to FrontEnd.Tc.Type. stop relying on buggy ones in FrontEnd.Representation. distinguish MetaVars and Tyvars more
John Meacham <john@repetae.net>**20051210035421] 
[handle metavars properly in subsumption. move unifier into Tc/Monad
John Meacham <john@repetae.net>**20051209133458] 
[fix SPEC rule in subsumes
John Meacham <john@repetae.net>**20051209113453] 
[add unique integer to boxen
John Meacham <john@repetae.net>**20051209073821] 
[make matching more robust. create boxes of the appropriate kind
John Meacham <john@repetae.net>**20051209070019] 
[export stuff from Type, add boxy instantiation
John Meacham <john@repetae.net>**20051209065931] 
[split off FrontEnd.Tc.Unify from FrontEnd.Tc.Type
John Meacham <john@repetae.net>**20051209062021] 
[clean up tc code
John Meacham <john@repetae.net>**20051209060647] 
[add document describing type class system and its relation to GADTs
John Meacham <john@repetae.net>**20051209051008] 
[fix unifiation of taus, read current type environment.
John Meacham <john@repetae.net>**20051208104311] 
[make type synonym name finding work with quantification
John Meacham <john@repetae.net>**20051208102131] 
[start using boxy matching primitives, enforce tau rules.
John Meacham <john@repetae.net>**20051208101702] 
[modify type checker for type based translation
John Meacham <john@repetae.net>**20051208081815] 
[make jhci use both new and old typechecker
John Meacham <john@repetae.net>**20051208070828] 
[put interactive mode into its own monad
John Meacham <john@repetae.net>**20051208063130] 
[add option monad that distributes options to all the code
John Meacham <john@repetae.net>**20051208055313] 
[more work on new typechecker in progress
John Meacham <john@repetae.net>**20051208045453] 
[recover gracefully from type errors
John Meacham <john@repetae.net>**20051208045357] 
[Print type of expressions entered on command line
John Meacham <john@repetae.net>**20051208031053] 
[deinfix and detypesyn statement before pretty printing it in jhci
John Meacham <john@repetae.net>**20051208025247] 
[add renaming of statements to jhci, export renaming function from rename, add some more Warning routines
John Meacham <john@repetae.net>**20051208022800] 
[allow non-indenting 'then' statements too
John Meacham <john@repetae.net>**20051208010910] 
[Allow optional semicolon before 'else' statement for inside do notation.
John Meacham <john@repetae.net>**20051208004631] 
[start adding new type inference algorithm
John Meacham <john@repetae.net>**20051207050114] 
[add unify and runTc to TcMonad
John Meacham <john@repetae.net>**20051207041730] 
[split SrcLoc and SrcSpan into their own module.
John Meacham <john@repetae.net>**20051207035238] 
[add new Tc monad, clean up other stuff, add boxy type constructor
John Meacham <john@repetae.net>**20051207025616] 
[fix showing of class kinds
John Meacham <john@repetae.net>**20051207021023] 
[when converting a scheme to a type, insure order of arguments is preserved.
John Meacham <john@repetae.net>**20051207001059] 
[minor code cleanups in typechecker
John Meacham <john@repetae.net>**20051207000044] 
[TAG bosdudlahelv
John Meacham <john@repetae.net>**20051206130508] 
>