[TAG yotdyrys
John Meacham <john@repetae.net>**20061027041207] 
<
[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] 
[solve and simplify equality constraints
John Meacham <john@repetae.net>**20061027031236] 
[evaluate associated types in more places
John Meacham <john@repetae.net>**20061026012540] 
[allow underscore in numeric literals
John Meacham <john@repetae.net>**20061026011232] 
[add rule to unification that evaluates known class aliases
John Meacham <john@repetae.net>**20061025052735] 
[build instance definiton properly
John Meacham <john@repetae.net>**20061025045107] 
[add several error checking functions dealing with class and instance declarations
John Meacham <john@repetae.net>**20061025042451] 
[annotate newtypes in more places
John Meacham <john@repetae.net>**20061024021328] 
[make type synonym declarations take types as arguments, rather than just variables. for use in type synonym instances
John Meacham <john@repetae.net>**20061024011934] 
[generate TAssoc values from associated types when converting HsTypes to Types
John Meacham <john@repetae.net>**20061020045256] 
[make KindGroup a real type, KindEnv now has its associated type map filled in properly.
John Meacham <john@repetae.net>**20061020043354] 
[add associated type info to kind table
John Meacham <john@repetae.net>**20061019231540] 
[clean up FrontEnd.Type, add TAssoc to type representation, make type traversal more ticklish in general.
John Meacham <john@repetae.net>**20061018234111] 
[build associated types info inside of instances
John Meacham <john@repetae.net>**20061018094210] 
[clean up code, handle equality constraints in more places in the typechecker
John Meacham <john@repetae.net>**20061018044313] 
[add Support.Tickle for simple traversal class
John Meacham <john@repetae.net>**20061018044304] 
[make lifted class instances have equality constraints
John Meacham <john@repetae.net>**20061018034425] 
[clean up FrontEnd.Class, add classAssocs to class record
John Meacham <john@repetae.net>**20061018022902] 
[add type equality constraints to abstract syntax, predicate types, and parser
John Meacham <john@repetae.net>**20061018021546] 
[kind check associated types
John Meacham <john@repetae.net>**20061017200310] 
[parse associated types, rename them properly
John Meacham <john@repetae.net>**20061017044513] 
[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] 
[TAG arigwuwebjit
John Meacham <john@repetae.net>**20061013014921] 
>