[commit: base] master: Add missing instances for (<=) (a849482)

Iavor Diatchki <[email protected]> Sun, 09 Sep 2012 01:02:12 -0700

Newsgroups	gmane.comp.lang.haskell.cvs.libraries
Message-ID	<[email protected]>

Repository : ssh://darcs.haskell.org//srv/darcs/packages/base

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/a84948231706f0b87f06326efe62401ff8bd844d

>---------------------------------------------------------------

commit a84948231706f0b87f06326efe62401ff8bd844d
Author: Iavor S. Diatchki <[email protected]>
Date:   Sun Sep 9 01:01:35 2012 -0700

    Add missing instances for (<=)

>---------------------------------------------------------------

 GHC/TypeLits.hs |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs
index 6aa0aa7..e5ab346 100644
--- a/GHC/TypeLits.hs
+++ b/GHC/TypeLits.hs
@@ -84,7 +84,8 @@ class SingI a where
 
 --------------------------------------------------------------------------------
 -- | Comparsion of type-level naturals.
-class (m :: Nat) <= (n :: Nat)
+class (m <=? n) ~ True => (m :: Nat) <= (n :: Nat)
+instance ((m <=? n) ~ True) => m <= n
 
 type family (m :: Nat) <=? (n :: Nat) :: Bool