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

Iavor Diatchki diatchki at galois.com
Sun Sep 9 10:02:12 CEST 2012


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 <iavor.diatchki at gmail.com>
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
 





More information about the Cvs-libraries mailing list