search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Handle plain ":t" in the repl better #2074

Closed sauclovian-g closed 4 months ago

sauclovian-g commented 4 months ago

There should be a test for every error message... maybe I should start on that and populate it with this one as a first go

sauclovian-g commented 4 months ago

On reflection, that's a fairly substantial issue and it's probably not a good idea to cram it into this pull request. I made #2075 to track the issue, and included a backreference here so it doesn't get forgotten.