diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-01-07 13:05:13 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-01-07 13:48:59 -0500 |
| commit | 303106d55d75a9c796e58867cb541ad136bb217f (patch) | |
| tree | d55f8af2c0b6e68c573f8ff31b91edae227f12ad | |
| parent | 40cbab9afe52fbc780310e880912b56370065a62 (diff) | |
| download | haskell-303106d55d75a9c796e58867cb541ad136bb217f.tar.gz | |
Make the Div and Mod type families `infixl 7`
Commit fa8035e3ee83aff5a20fc5e7e2697bac1686d6a6 added `Div`
and `Mod` type families to `GHC.TypeNats`. However, they did not add
the corresponding fixities! Currently, we have that both `div` and
`mod` (at the value level) are `infixl 7`, so we should adopt the
same fixities for the type-level `Div` and `Mod` as well.
Test Plan: It compiles
Reviewers: hvr, bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie, carter
GHC Trac Issues: #14640
Differential Revision: https://phabricator.haskell.org/D4291
| -rw-r--r-- | libraries/base/GHC/TypeNats.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/base/GHC/TypeNats.hs b/libraries/base/GHC/TypeNats.hs index a5ee0fc537..c9055ddb42 100644 --- a/libraries/base/GHC/TypeNats.hs +++ b/libraries/base/GHC/TypeNats.hs @@ -99,7 +99,7 @@ instance Read SomeNat where infix 4 <=?, <= infixl 6 +, - -infixl 7 * +infixl 7 *, `Div`, `Mod` infixr 8 ^ -- | Comparison of type-level naturals, as a constraint. |