[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