Starting with inventory:
0000001360-dbd8152b7cd0e77fb46f540c74db7746f7c7847e2a1c4aaf243d92c4b772341b
[TAG arigwuwebjit
John Meacham <john@repetae.net>**20061013014921] 
hash: 0000000838-7d9d28d712982ea50a9526299fa11762d9a8693a87267a56f562a36b550f0fe6
[annotate newtypes in more places
John Meacham <john@repetae.net>**20061024021328] 
hash: 0000001297-5db58402b63f212c46809d1c15543c8ee55a2974d1d0524ee5eb86760ab1a3c7
[remove old Class checking code, move instance declarations to a distinct type from qualified predicates, rename Class FrontEnd.Class
John Meacham <john@repetae.net>**20061017034944] 
hash: 0000012455-d1c03d3ada09c21faf0de40ee056fd1a8e1bd824acac0d3575a0002a31b1b2af
[parse associated types, rename them properly
John Meacham <john@repetae.net>**20061017044513] 
hash: 0000000629-f499a2fbe53823a3f8a28d42b1efcd93d30dc96f2cba7626522ee7e07d42ae6d
[kind check associated types
John Meacham <john@repetae.net>**20061017200310] 
hash: 0000001133-ffa576ff292f055c0cc849bcc6b6f07dd40b2316c255ce7198d0a0d73e72e437
[add type equality constraints to abstract syntax, predicate types, and parser
John Meacham <john@repetae.net>**20061018021546] 
hash: 0000010152-fefd4899d30f4423e8cff942ccecd160e87325ee6941d380b65ae6900109b636
[clean up FrontEnd.Class, add classAssocs to class record
John Meacham <john@repetae.net>**20061018022902] 
hash: 0000006814-282f693ea31ec04cacd9ef4f4a63522b807cbf14ef8a5474459b881896e358b1
[make lifted class instances have equality constraints
John Meacham <john@repetae.net>**20061018034425] 
hash: 0000003479-1286a026e0b32ad613329d959c11ea2dc75a845ad60b120c177005a9f13016c4
[add Support.Tickle for simple traversal class
John Meacham <john@repetae.net>**20061018044304] 
hash: 0000000686-ad9219640b16c43960c5a33911d3d7d91ee12d7ab12fe0883e7c943e90f858a6
[clean up code, handle equality constraints in more places in the typechecker
John Meacham <john@repetae.net>**20061018044313] 
hash: 0000005749-ac9a3f728c722ebd76ca78abf259e07b580d619b6045d4e2d09415a048ad4c7a
[build associated types info inside of instances
John Meacham <john@repetae.net>**20061018094210] 
hash: 0000010837-bdd70a5b10c48879dffc2124a8925357a8bdab79c86b98bc1cfdab95ec1dc3fa
[clean up FrontEnd.Type, add TAssoc to type representation, make type traversal more ticklish in general.
John Meacham <john@repetae.net>**20061018234111] 
hash: 0000006610-5cb3fbaab273c1c1e1535b6129bbef97e822482364e44a30b58ab8bd7199b517
[add associated type info to kind table
John Meacham <john@repetae.net>**20061019231540] 
hash: 0000003454-8daac7749162df2be0c38cb181adee30c5160d4e99205b8ca83ca5dd7f0b2e27
[make KindGroup a real type, KindEnv now has its associated type map filled in properly.
John Meacham <john@repetae.net>**20061020043354] 
hash: 0000006220-f1a33ac2b914d9a992039370c9d6181e20880cc8f75fb712b0e0ec59f5d6595a
[generate TAssoc values from associated types when converting HsTypes to Types
John Meacham <john@repetae.net>**20061020045256] 
hash: 0000001928-86aaa3081c8b505d637448495a7f6afd9cc7ba756c97fc7213ef1caa5d0ea1c8
[make type synonym declarations take types as arguments, rather than just variables. for use in type synonym instances
John Meacham <john@repetae.net>**20061024011934] 
hash: 0000009224-89675c4b2c9745713bc5e6dc62e23dd53a4391f9eb18de69f02c1996d27d08b1
[add several error checking functions dealing with class and instance declarations
John Meacham <john@repetae.net>**20061025042451] 
hash: 0000004867-e8fd1c335b23b6495a2ed11cdeb03ba0c7dd7119da028c3d8ed4d4c6af50023d
[build instance definiton properly
John Meacham <john@repetae.net>**20061025045107] 
hash: 0000002554-185eff6db9d80d969d61cb4cac4d5d787269d115c31115ff45edc9ab5fa3a6fc
[add rule to unification that evaluates known class aliases
John Meacham <john@repetae.net>**20061025052735] 
hash: 0000001991-719be2b5ef607a4e2fc0e98e309f9edf9ba2d74312250de0d193be4c909a211f
[allow underscore in numeric literals
John Meacham <john@repetae.net>**20061026011232] 
hash: 0000000429-4f0cfd36782a4507801e4803e0db8c76ece1b988547797df6a3931ccd390d56b
[evaluate associated types in more places
John Meacham <john@repetae.net>**20061026012540] 
hash: 0000003288-70a5ad26fce78de8392f092a5014f534ac66338a83ae7d4dfdfe63703da726d7
[solve and simplify equality constraints
John Meacham <john@repetae.net>**20061027031236] 
hash: 0000005665-23a8887adfd0821697fee8e54ddeb588ebcac44f37d2d28c50225d220ea0abb6
[evaluate type fully even when -dboxy-steps is on. do occurs check when dealing with associated types, after expanding an associated type, try to evaluate it again.
John Meacham <john@repetae.net>**20061027040807] 
hash: 0000002872-affab5bf01673cf3fba8025082d753729f5345516ad49bd24e0becd6c0ffaff9
