Improve reasoning about ordering to support transitivity and anti-symmetry.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Sun, 30 Jan 2011 00:43:28 +0000 (16:43 -0800)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Sun, 30 Jan 2011 00:43:28 +0000 (16:43 -0800)
commit282ce88d745d8f892a3e9f2d8ee98dc24966fad6
tree605c40d3822a17cd8f9bfb18e5cd45a2ce513f4c
parent9b5f2e4d1dc9dc805bca8f95cf9d4788f1c8eefe
Improve reasoning about ordering to support transitivity and anti-symmetry.
compiler/typecheck/TcTypeNats.hs