diff options
| author | Iavor S. Diatchki <diatchki@galois.com> | 2013-10-03 15:25:28 -0700 |
|---|---|---|
| committer | Iavor S. Diatchki <diatchki@galois.com> | 2013-10-03 15:25:28 -0700 |
| commit | add3bae60662122d0d64a3d5b05396081e91a1fc (patch) | |
| tree | b689f37900dfe65bc73d54d4fa8fe663d7250f95 | |
| parent | 40e7236d81a15f79a2065634709daad65e037fca (diff) | |
| download | haskell-add3bae60662122d0d64a3d5b05396081e91a1fc.tar.gz | |
Add fixity declaration for type-level functions.
| -rw-r--r-- | libraries/base/GHC/TypeLits.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libraries/base/GHC/TypeLits.hs b/libraries/base/GHC/TypeLits.hs index 3c2a2125f0..8609e011b1 100644 --- a/libraries/base/GHC/TypeLits.hs +++ b/libraries/base/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 |