Commit 303106d5 authored by Ryan Scott's avatar Ryan Scott Committed by Ben Gamari

Make the Div and Mod type families `infixl 7`

Commit fa8035e3 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
parent 40cbab9a
...@@ -99,7 +99,7 @@ instance Read SomeNat where ...@@ -99,7 +99,7 @@ instance Read SomeNat where
infix 4 <=?, <= infix 4 <=?, <=
infixl 6 +, - infixl 6 +, -
infixl 7 * infixl 7 *, `Div`, `Mod`
infixr 8 ^ infixr 8 ^
-- | Comparison of type-level naturals, as a constraint. -- | Comparison of type-level naturals, as a constraint.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment