search

owo-lang / minitt-rs

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Apache License 2.0
113 stars 3 forks source link

Entering empty expressions in REPL mode should not trigger parsing #22

Closed anqurvanillapy closed 5 years ago

anqurvanillapy commented 5 years ago

(Version 0.3.1) An empty input will emit things like this:

=>
Parse failed at: --> 1:1
  |
1 |
  | ^---
  |
  = expected expression

which kinda annoys the user.