Merge pull request #711 from ahmadsalim/bug/fixenumfromsyntax
Corrects infinite stream syntax [start ..]. Closes
commit1bffa1709b2df6fd5c44de4605ef2f6db56af43e
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 11 Dec 2013, 02:33 (13 years ago)
parent2397a179d0b4ee
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