git.iko.soy/Idris-dev
on master help sign in
Corrects infinite stream syntax [start ..]. Closes
9d0b4eeAhmad Salim Al-Sibahi
libs/prelude/Prelude.idr+1−1
compare with master
unifiedsplit
@@ -410,7 +410,7 @@ syntax "[" [start] "," [next] ".." [end] "]"
410 = enumFromThenTo start (next - start) end
410 = enumFromThenTo start (next - start) end
411
411
412syntax "[" [start] "..]"
412syntax "[" [start] "..]"
413− = enumFrom start 1
413+ = enumFrom start
414syntax "[" [start] "," [next] "..]"
414syntax "[" [start] "," [next] "..]"
415 = enumFromThen start (next - start)
415 = enumFromThen start (next - start)
416
416