Corrects infinite stream syntax [start ..]. Closes
idris-lang/Idris-dev#706
commit9d0b4eeca200f4e7d90771a9323ef1a43b7601aa
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateSun 8 Dec 2013, 19:54 (13 years ago)
parent2f52264
libs/prelude/Prelude.idr+1−1
@@ -410,7 +410,7 @@ syntax "[" [start] "," [next] ".." [end] "]"
410410 = enumFromThenTo start (next - start) end
411411
412412syntax "[" [start] "..]"
413− = enumFrom start 1
413+ = enumFrom start
414414syntax "[" [start] "," [next] "..]"
415415 = enumFromThen start (next - start)
416416