search

sorear / smetamath-rs

sorear's Metamath system engine - version 3 Rust
Apache License 2.0
22 stars 6 forks source link

fix statement start location for error handling #28

Closed digama0 closed 8 years ago

digama0 commented 8 years ago

Fixes #27.

sorear commented 8 years ago

My plan last night was for span to skip over leading whitespace itself, but this work too.

digama0 commented 8 years ago

I assumed you had a plan for keeping leading whitespace as a means of regenerating the buffer later, since you remarked on it.