Updated test
(Forgot to include with last commit, oops!)
commit6e5ee86883af093665606e815e7a0e41c98dc5d8
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 14 Feb 2016, 15:08 (11 years ago)
parenta009be6
test/reg018/expected+2
@@ -4,6 +4,8 @@ reg018a.idr:21:1:
44conat.loopForever is possibly not total due to: conat.minusCoNat
55reg018b.idr:8:1:
66A.showB is possibly not total due to recursive path A.showB
7+reg018b.idr:11:1:
8+A.B implementation of Prelude.Show.Show is possibly not total due to: A.showB
79reg018c.idr:21:1:
810CodataTest.inf is possibly not total due to: with block in CodataTest.inf
911reg018d.idr:8:1:
test/reg018/reg018b.idr+1−1
@@ -8,7 +8,7 @@ showB : B -> String
88showB (I x) = "I" ++ showB x
99showB (Z x) = "Z" ++ showB x
1010
11−implementation Show B where show = showB
11+Show B where show = showB
1212
1313os : B
1414os = Z os