Export should complain if identifier is not bound

Toxaris / pts

Interpreter for functional pure type systems.

BSD 3-Clause "New" or "Revised" License

21 stars 7 forks source link

Export should complain if identifier is not bound #73

Closed Toxaris closed 10 years ago

Toxaris commented 10 years ago

Currently, the statement export foo does nothing if foo is not in scope. Instead, it should report an error. This bug was introduced in 05cb9c26a866382c33f9ad8ea845cf3e41eb5c03.