GaloisInc / saw-script

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

Simplify some somewhat silly code in the repl logic #2073

Closed sauclovian-g closed 4 months ago

sauclovian-g commented 4 months ago

No need to uncons if you're just going to match the result. Also, don't paste a copy of uncons from the standard library either.