Eve
Eve copied to clipboard
Rationals without a preceeding 0 should produce a better error
There's some crazy syntax going on here that I don't understand yet
3| [#exam weight: .3]
^
Should indicate what the error actually is
Not sure that I agree with this. What's wrong with requiring the leading 0 for clarity?
Addendum: My argument against it is that this:
[#foo bar: (1,2,3,4)]
is not very visually distinct from
[#foo bar: (1,2.3,4)]
and is much more readable as
[#foo bar: (1,2,0.3,4)]
Obviously spaces helps somewhat, but it's still very easy to gloss over the trailing character assuming that it's a comma rather than a period.
If we're taking a hard stance on that, then the error should be different.
Yeah, definitely agree on that.