[commit: packages/base] master: Add fixity declaration for type-level functions. (a75446f)
git at git.haskell.org
git
Thu Oct 3 22:25:36 UTC 2013
Repository : ssh://git at git.haskell.org/base
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/a75446f0bbe9a7eedd1476d6fd62ce7af9eb749a/base
>---------------------------------------------------------------
commit a75446f0bbe9a7eedd1476d6fd62ce7af9eb749a
Author: Iavor S. Diatchki <diatchki at galois.com>
Date: Thu Oct 3 15:25:28 2013 -0700
Add fixity declaration for type-level functions.
>---------------------------------------------------------------
a75446f0bbe9a7eedd1476d6fd62ce7af9eb749a
GHC/TypeLits.hs | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs
index 3c2a212..8609e01 100644
--- a/GHC/TypeLits.hs
+++ b/GHC/TypeLits.hs
@@ -114,6 +114,11 @@ instance Read SomeSymbol where
--------------------------------------------------------------------------------
+infix 4 <=?, <=
+infixl 6 +, -
+infixl 7 *
+infixr 8 ^
+
-- | Comparison of type-level naturals, as a constraint.
type x <= y = (x <=? y) ~ True
More information about the ghc-commits
mailing list