Make the Div and Mod type families `infixl 7`
authorRyan Scott <ryan.gl.scott@gmail.com>
Sun, 7 Jan 2018 18:05:13 +0000 (13:05 -0500)
committerBen Gamari <ben@smart-cactus.org>
Mon, 8 Jan 2018 05:06:38 +0000 (00:06 -0500)
commitfdfaa56b04b2cefb86e4dc557b1d163fd2e062dc
tree2820af1c734068f3e3864b20cc9b74cab9d79928
parentec6af9c49ba86d1cd7fa85527bcb97c605f2fd39
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

(cherry picked from commit 303106d55d75a9c796e58867cb541ad136bb217f)
libraries/base/GHC/TypeNats.hs