git.iko.soy/Idris-dev
on master help sign in
add precedence for infix `div` and `mod`
8bdd897Michael Morgan
libs/prelude/Prelude/Interfaces.idr+2
compare with master
unifiedsplit
@@ -12,6 +12,8 @@ infixl 7 <<, >> -- unused
12infixl 8 +, -
12infixl 8 +, -
13infixl 9 *, /
13infixl 9 *, /
14
14
15+infixl 9 `div`, `mod`
16+
15-- ------------------------------------------------------------- [ Boolean Ops ]
17-- ------------------------------------------------------------- [ Boolean Ops ]
16intToBool : Int -> Bool
18intToBool : Int -> Bool
17intToBool 0 = False
19intToBool 0 = False