edwinb/Idris-dev — pull request #484 by ahmadsalim (2013-09-14 17:03:36+00:00)
Title: Allow spaces between '..' and ']' in list range literal syntax

Before something like
```idris
[1,2 .. ]
```
would fail to parse, because of an additional space and this would give a weird parsing error.