Add a type-family for comparing numbers.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Tue, 1 May 2012 06:08:54 +0000 (23:08 -0700)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Tue, 1 May 2012 06:08:54 +0000 (23:08 -0700)
commit9c11265dc1285bce588761f8b4a7cff2a12259ae
treed9034c74dfc440eb451282125b0fd3ffcaf4f872
parent77193449394cdaeeac706f7009fc61c586c7cb1e
Add a type-family for comparing numbers.

For the moment, this replaces the class (<=) because it is
easier to fit with GHC's coercion evidence.
libraries/base/GHC/TypeLits.hs