Cancelation and associativity.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Sun, 6 Feb 2011 17:27:40 +0000 (09:27 -0800)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Sun, 6 Feb 2011 17:27:40 +0000 (09:27 -0800)
commit2c72b52db087ba624897b964d56b4b8710b539d4
treebfb79a2632c77776e9934f94c1d12834896f583f
parentcccd40e37c979a11cb2c65b89ccf503de15c6273
Cancelation and associativity.

This helps with some of the GADT style examples.
Currently, the code is rather inefficient but it the idea was to
see if it will work at all.
compiler/typecheck/TcTypeNats.hs