Starting with inventory:
0000001851-31eb5123aea1b8264cc3703161d78792aa1e9f5e227935b55533a84d43b1c1d1
[TAG bosdudlahelv
John Meacham <john@repetae.net>**20051206130508] 
hash: 0000001083-1d5be94601ede1ffe0f0ead8bac6ca7038b763272531b89287d081a8dd0bd406
[minor code cleanups in typechecker
John Meacham <john@repetae.net>**20051207000044] 
hash: 0000001160-8714af689b5d386d081b1714feff9eb494355c7c80099f57d7ffc405dac077e2
[when converting a scheme to a type, insure order of arguments is preserved.
John Meacham <john@repetae.net>**20051207001059] 
hash: 0000000434-ba34a38640d90fc942772154cd1a438d5f1c7b0523e7cfede9c0a0f0ffeba3b3
[fix showing of class kinds
John Meacham <john@repetae.net>**20051207021023] 
hash: 0000000319-6514cacb86cee03c5a8434b4214db84a9fc254958aff599f86060088a99511d7
[add new Tc monad, clean up other stuff, add boxy type constructor
John Meacham <john@repetae.net>**20051207025616] 
hash: 0000007463-4f35dc5350d44181c381d9af230c883520a32bbc44f669dd4cee8bb0b96b3614
[split SrcLoc and SrcSpan into their own module.
John Meacham <john@repetae.net>**20051207035238] 
hash: 0000007816-ec8d86eed0e97dc379ee4f08e23f5b8083b42f0ac8d08329fe2b8fe4e4f5df5c
[add unify and runTc to TcMonad
John Meacham <john@repetae.net>**20051207041730] 
hash: 0000002508-884fa7d914b63154a32eb804f4466c782baff03ad43cdc5469f1d9a2fdc943c5
[start adding new type inference algorithm
John Meacham <john@repetae.net>**20051207050114] 
hash: 0000030132-398d44072e0ac9bac3ab837063e87ddd7e98402b327a33237543a35e39b3de33
[Allow optional semicolon before 'else' statement for inside do notation.
John Meacham <john@repetae.net>**20051208004631] 
hash: 0000000327-07a72938107aa0db7aae9d9efb482e415b533665229833378e7a70ec722d90d4
[allow non-indenting 'then' statements too
John Meacham <john@repetae.net>**20051208010910] 
hash: 0000000255-3dedf425a7c2aecb079e4bede1b744f03a2dec65e6ac0c4c34a46ee67e8f80ec
[add renaming of statements to jhci, export renaming function from rename, add some more Warning routines
John Meacham <john@repetae.net>**20051208022800] 
hash: 0000003917-0662fcbcec8afc996efa53fcaf2fac8afec1a0d537df0e3c7561e60e27e42080
[deinfix and detypesyn statement before pretty printing it in jhci
John Meacham <john@repetae.net>**20051208025247] 
hash: 0000003343-b27e2755e34071352655003a82210181a08b9b99ff8b7b68da93ff8944ef673c
[Print type of expressions entered on command line
John Meacham <john@repetae.net>**20051208031053] 
hash: 0000002172-9ecebcbf22ffe432dae409963e676bb0472ce02401102b8a8b1e018ada432782
[recover gracefully from type errors
John Meacham <john@repetae.net>**20051208045357] 
hash: 0000000775-3b21797bd7ef04da4aafe04ca89106b3ec17030fbbb597a7261e80c73da34823
[more work on new typechecker in progress
John Meacham <john@repetae.net>**20051208045453] 
hash: 0000010949-9b5d04455f7873c99b72f87624c762958a0d5753a8f42f4ff6d9d5484936ea41
[add option monad that distributes options to all the code
John Meacham <john@repetae.net>**20051208055313] 
hash: 0000004651-1489c716995d6f91dd489ecb7196a11ee2dce314ab4064cee3686aed747ffba4
[put interactive mode into its own monad
John Meacham <john@repetae.net>**20051208063130] 
hash: 0000004837-db767e87fe94f1b2710c167ca93922a0b017a40463aa444476b41905811d7527
[make jhci use both new and old typechecker
John Meacham <john@repetae.net>**20051208070828] 
hash: 0000003239-8b58b56b9558b7d4d40768b054f5512e6138092cfa6e4cc251c7e2a173e4d73d
[modify type checker for type based translation
John Meacham <john@repetae.net>**20051208081815] 
hash: 0000003830-754a828ef7dd15a7a9fe0ec81baf2c3d2315752fa1cd65b87c88ae18a374195e
[start using boxy matching primitives, enforce tau rules.
John Meacham <john@repetae.net>**20051208101702] 
hash: 0000007774-217847f4077aa19bd31588196cb3184a792a8af947064419d498a0e3394b94ae
[make type synonym name finding work with quantification
John Meacham <john@repetae.net>**20051208102131] 
hash: 0000002318-33012ab4057a35ad0acf0259708b1f82e1b6aae82f2aa938d32e5cce8fd7694c
[fix unifiation of taus, read current type environment.
John Meacham <john@repetae.net>**20051208104311] 
hash: 0000001133-1147fc6d3417deeb4ca3083a2d9ad3bcd845439b25726b4d3d2066a07dd37d2f
[add document describing type class system and its relation to GADTs
John Meacham <john@repetae.net>**20051209051008] 
hash: 0000014231-7fe81a1943d84ee8c5d70449e27b245cef6630b8796f0e7be8fd880885b97164
[clean up tc code
John Meacham <john@repetae.net>**20051209060647] 
hash: 0000011902-dde51f9e33e651206e4249799d970a85663389da239b1f4bc31f5aa8f7544727
[split off FrontEnd.Tc.Unify from FrontEnd.Tc.Type
John Meacham <john@repetae.net>**20051209062021] 
hash: 0000008297-5af3fce5466dddc92593d9d6f79f603e3c7bf31b823bcba507852424d081f47b
[export stuff from Type, add boxy instantiation
John Meacham <john@repetae.net>**20051209065931] 
hash: 0000001287-d7592ef7105abccb1093cc300e71d513317975f9b662d581c21ca963a6bf75e8
[make matching more robust. create boxes of the appropriate kind
John Meacham <john@repetae.net>**20051209070019] 
hash: 0000000997-12386d8de07d1bc41a26aabaa63baca55d0a6c559583eae4cb93b9cdf7f5836e
[add unique integer to boxen
John Meacham <john@repetae.net>**20051209073821] 
hash: 0000002643-5cf8a819a91f73d765126cfc1696dc0b1a6260591d6aabfdab97e30f01c1b5b5
[fix SPEC rule in subsumes
John Meacham <john@repetae.net>**20051209113453] 
hash: 0000002972-a30422bc0e19b54bba83fbfc10a0dfa60ef363afda86d83ad1810b8db84ee7f1
[handle metavars properly in subsumption. move unifier into Tc/Monad
John Meacham <john@repetae.net>**20051209133458] 
hash: 0000006058-7ebcd017a05552ef74ec3529aba8990e91823ff90a24cae03bdb63482fa56902
[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] 
hash: 0000007287-d3eb1c9f2dce71fd787c6bb02a0f8dc6fe2649efbc02f551e1a1ace02b225d43
[add :echo and :addhist commands, read config file on startup of jhci
John Meacham <john@repetae.net>**20051210044736] 
hash: 0000002322-8bb55cb5e47c96de65f8611f4e130513cc456e097fc49907db5537d74e03fdbf
[fix type printing, pretty print types in error messages
John Meacham <john@repetae.net>**20051210050641] 
hash: 0000001964-c5a5eb51cbc335657357d1cf94d047c2bd384f8c6ef4aee431b5d7d4277d9696
[improve unification error messages
John Meacham <john@repetae.net>**20051210055312] 
hash: 0000005645-66766555a01229a16de231b4e4fa6899ab359c2a09284f8a6162a05b0430fcc0
