@@ -120,20 +120,18 @@ Type level variable nat is not Main.nat
120120Mod.idr:11:1:public export Mod.natexp can't refer to export Mod.natfn
121121reg070.idr:7:1:
122122Test_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
124− fixity declaration for
125− Main.:>, expected: "->", "=>",
126− ambiguous use of a left-associative operator,
127− ambiguous use of a non-associative operator,
128− ambiguous use of a right-associative operator
129−<EOF>
130−^
131−./reg077.idr:3:1: error: Missing
132− fixity declaration for
133− Main.:>>, expected: ")", ";",
134− "in", start of block
135−<EOF>
136−^
123+./reg076.idr:8:1:
124+ |
125+8 | <empty line>
126+ | ^
127+Missing fixity declaration for Main.:>
128+
129+./reg077.idr:3:1:
130+ |
131+3 | <empty line>
132+ | ^
133+Missing fixity declaration for Main.:>>
134+
137135DoubleEquality.idr:4:87:When checking right hand side of oops with expected type
138136 Void
139137