Skip to content

Commit

Permalink
Make the Div and Mod type families infixl 7
Browse files Browse the repository at this point in the history
Commit fa8035e 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

(cherry picked from commit 303106d)
  • Loading branch information
RyanGlScott authored and bgamari committed Jan 8, 2018
1 parent ec6af9c commit fdfaa56
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion libraries/base/GHC/TypeNats.hs
Expand Up @@ -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.
Expand Down

0 comments on commit fdfaa56

Please sign in to comment.