A small fix and a note.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Mon, 21 Feb 2011 04:26:24 +0000 (20:26 -0800)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Mon, 21 Feb 2011 04:26:24 +0000 (20:26 -0800)
commit36e85790012378e41e78d284710660e1fd9eeb40
tree06d2fda7bdeb4502ddedd583e52855f6f3eed808
parent6cceac918a91bca779ec28f78bbea8d069299369
A small fix and a note.
compiler/typecheck/TcTypeNats.hs