Some rather inefficient support for distributivity.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Sun, 20 Feb 2011 01:17:55 +0000 (17:17 -0800)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Sun, 20 Feb 2011 01:17:55 +0000 (17:17 -0800)
commit6cceac918a91bca779ec28f78bbea8d069299369
tree61a3a876b7072006a85aa36c600cd376f3107570
parent319a4038217cc33d2bad56abcad4bd7e8acd2175
Some rather inefficient support for distributivity.
compiler/typecheck/TcTypeNats.hs