1/3: Building Lib1 (Lib1.idr)
2/3: Building Lib2 (Lib2.idr)
3/3: Building Main0 (Main0.idr)
3/3: Building Main1 (Main1.idr)
3/3: Building MainFail (MainFail.idr)
Warning: operator fixity is ambiguous, we are picking Lib2.infixl.(%%%) out of :
 - Lib2.infixl.(%%%), precedence level 5
 - Lib1.infixr.(%%%), precedence level 5

To remove this warning, use `%hide` with the fixity to remove
For example: %hide Lib2.infixl.(%%%)

MainFail:7:17--7:32
 3 | import Lib2
 4 | import Lib1
 5 | 
 6 | main : IO ()
 7 | main = printLn (10 %%% 10 %%% 1)
                     ^^^^^^^^^^^^^^^

Warning: operator fixity is ambiguous, we are picking Lib2.infixl.(%%%) out of :
 - Lib2.infixl.(%%%), precedence level 5
 - Lib1.infixr.(%%%), precedence level 5

To remove this warning, use `%hide` with the fixity to remove
For example: %hide Lib2.infixl.(%%%)

MainFail:7:24--7:32
 3 | import Lib2
 4 | import Lib1
 5 | 
 6 | main : IO ()
 7 | main = printLn (10 %%% 10 %%% 1)
                            ^^^^^^^^

2/2: Building Main3 (Main3.idr)
Warning: operator fixity is ambiguous, we are picking Main3.prefix.(%%%) out of :
 - Main3.prefix.(%%%), precedence level 4
 - Lib1.infixr.(%%%), precedence level 5

To remove this warning, use `%hide` with the fixity to remove
For example: %hide Main3.prefix.(%%%)

Main3:12:28--12:35
 08 | (%%%) : Nat -> Nat
 09 | (%%%) = S
 10 | 
 11 | main : IO ()
 12 | main = do printLn (the Nat (%%% 4))
                                 ^^^^^^^

Warning: operator fixity is ambiguous, we are picking Prelude.Ops.infixl.(-) out of :
 - Prelude.Ops.infixl.(-), precedence level 8
 - Main3.infixr.(-), precedence level 8

To remove this warning, use `%hide` with the fixity to remove
For example: %hide Prelude.Ops.infixl.(-)

Main3:13:20--13:29
 09 | (%%%) = S
 10 | 
 11 | main : IO ()
 12 | main = do printLn (the Nat (%%% 4))
 13 |           printLn (1 - 1 - 1)
                         ^^^^^^^^^

Warning: operator fixity is ambiguous, we are picking Prelude.Ops.infixl.(-) out of :
 - Prelude.Ops.infixl.(-), precedence level 8
 - Main3.infixr.(-), precedence level 8

To remove this warning, use `%hide` with the fixity to remove
For example: %hide Prelude.Ops.infixl.(-)

Main3:13:24--13:29
 09 | (%%%) = S
 10 | 
 11 | main : IO ()
 12 | main = do printLn (the Nat (%%% 4))
 13 |           printLn (1 - 1 - 1)
                             ^^^^^

0
1
2/4: Building LibPre1 (LibPre1.idr)
3/4: Building LibPre2 (LibPre2.idr)
4/4: Building MainPre0 (MainPre0.idr)
4/4: Building MainPre1 (MainPre1.idr)
90
0
1/3: Building NonConflict1 (NonConflict1.idr)
2/3: Building NonConflict2 (NonConflict2.idr)
3/3: Building MainConflict (MainConflict.idr)
1
