Add fixity declaration for type-level functions.
authorIavor S. Diatchki <diatchki@galois.com>
Thu, 3 Oct 2013 22:25:28 +0000 (15:25 -0700)
committerIavor S. Diatchki <diatchki@galois.com>
Thu, 3 Oct 2013 22:25:28 +0000 (15:25 -0700)
GHC/TypeLits.hs

index 3c2a212..8609e01 100644 (file)
@@ -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