[TAG newanvaledba
John Meacham <john@repetae.net>**20060124021722] 
<
[replace standard list routines in library with more optimized versions. use mergesort by default.
John Meacham <john@repetae.net>**20060124021451] 
[document Grin generation process. remove code dealing with boxed literals. remove some irrelevant code paths that are never executed.
John Meacham <john@repetae.net>**20060124015123] 
[fix handling of literals in a strict context, remove vestiges of support for boxed literals
John Meacham <john@repetae.net>**20060124012119] 
[add -fboxy flag to make it use the new typechecker
John Meacham <john@repetae.net>**20060110002403] 
[Move version and selftest stuff from Options to Main making recompiles faster
Einar Karttunen <ekarttun@cs.helsinki.fi>**20051223173248
 
 Options.hs was including Version.hs which changed upon each "darcs record".
 This was causing needless recompilations. Moved handling --version and
 --selftest to the proper place in Main. Additionally changed the hierarchy
 of autogenerated Version modules. Now it is enough to "import Version" and
 get all the needed code.
 
 Additionally progress reporting was cleaned a little bit inside Main.
] 
[enforce invarient that a boxy type may never appear in the range of a substitution
John Meacham <john@repetae.net>**20051220015943] 
[make jhc use new typechecker always
John Meacham <john@repetae.net>**20051214052337] 
[handle where clauses properly, remove some old cruft
John Meacham <john@repetae.net>**20051214035135] 
[collect type signatures from inside statements, handle mutually recursive groups of lets. handle binding groups
John Meacham <john@repetae.net>**20051214033533] 
[finish typing casing for expressions. add typing of alternates. add typing of constant patterns. run desugarer in jhci
John Meacham <john@repetae.net>**20051214014210] 
[collect applications to typecheck as a group. fix case where metavar meets itself
John Meacham <john@repetae.net>**20051214003144] 
[make writing to history file more robust. print out message containing number of lines read from history file
John Meacham <john@repetae.net>**20051214001732] 
[add .jhci-hist file which stores history of commands typed at prompt, allow '--' as a comment in jhci
John Meacham <john@repetae.net>**20051214000008] 
[make auto-complete of haskell values work at the jhci prompt
John Meacham <john@repetae.net>**20051213233448] 
[clean up instantiation code. reenable skolomozation in ExprPoly, print rule names as they occur.
John Meacham <john@repetae.net>**20051213045326] 
[use higher ranked metavars for boxes
John Meacham <john@repetae.net>**20051213041625] 
[let algorithm look inside boxes.
John Meacham <john@repetae.net>**20051211122942] 
[add typing rules for left section and clean up typing of applications
John Meacham <john@repetae.net>**20051211084109] 
[add type checking of tuples, improve printing of types
John Meacham <john@repetae.net>**20051211052321] 
[add quantify routine, make failure print out diagnostic info in Tc
John Meacham <john@repetae.net>**20051210064420] 
[TAG heynpeecs
John Meacham <john@repetae.net>**20051210055515] 
>