This was rather involved, since there are now two situations in which a dot must not be surrounded by whitespace, and one is only valid after conids and one after varids.
Plus the arithmetic sequence [a..b] conflicts with the record dot.
It got a bit simpler after I disallowed the . to be followed by whitespace in any case, and only a single file in the test repos choked on that, so I'd say that's a good compromise.
This was rather involved, since there are now two situations in which a dot must not be surrounded by whitespace, and one is only valid after conids and one after varids. Plus the arithmetic sequence
[a..b]conflicts with the record dot. It got a bit simpler after I disallowed the.to be followed by whitespace in any case, and only a single file in the test repos choked on that, so I'd say that's a good compromise.