add precedence for infix `div` and `mod`
These functions have the same precedence as `/`.
commit8bdd897cb9b985d46c8354264cda2e588e399b5a
authorMichael Morgan <morgan.michael@me.com>
dateMon 11 Dec 2017, 13:40 (9 years ago)
parentae6ab2d
libs/prelude/Prelude/Interfaces.idr+2
@@ -12,6 +12,8 @@ infixl 7 <<, >> -- unused
1212infixl 8 +, -
1313infixl 9 *, /
1414
15+infixl 9 `div`, `mod`
16+
1517-- ------------------------------------------------------------- [ Boolean Ops ]
1618intToBool : Int -> Bool
1719intToBool 0 = False