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 _______________________________________________ Cvs-libraries mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-libraries
