@@ -120,20 +120,18 @@ Type level variable nat is not Main.nat
120Mod.idr:11:1:public export Mod.natexp can't refer to export Mod.natfn
120Mod.idr:11:1:public export Mod.natexp can't refer to export Mod.natfn
121reg070.idr:7:1:
121reg070.idr:7:1:
122Test_show.Te implementation of Prelude.Show.Show is possibly not total due to: Prelude.Show.Test_show.Te implementation of Prelude.Show.Show, method show
122Test_show.Te implementation of Prelude.Show.Show is possibly not total due to: Prelude.Show.Test_show.Te implementation of Prelude.Show.Show, method show
123−./reg076.idr:8:1: error: Missing
123+./reg076.idr:8:1:
124− fixity declaration for
127+Missing fixity declaration for Main.:>
125− Main.:>, expected: "->", "=>",
128+
126− ambiguous use of a left-associative operator,
127− ambiguous use of a non-associative operator,
128− ambiguous use of a right-associative operator
131−./reg077.idr:3:1: error: Missing
129+./reg077.idr:3:1:
132− fixity declaration for
133+Missing fixity declaration for Main.:>>
133− Main.:>>, expected: ")", ";",
134+
134− "in", start of block
137DoubleEquality.idr:4:87:When checking right hand side of oops with expected type
135DoubleEquality.idr:4:87:When checking right hand side of oops with expected type