Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: debug output (#317) #320

Merged
merged 1 commit into from
Oct 7, 2024
Merged

fix: debug output (#317) #320

merged 1 commit into from
Oct 7, 2024

Commits on Oct 7, 2024

  1. Fix debug output

    This fixes the output for the `debug` command.  Specifically, it now
    prints variable names (rather than cryptic variable indices).  The
    entire mechanism for printing expressions has been replaced with a
    generic mechanism for converting into lisp expressions (sexp.SExp).
    This should allow, in the future, the option to format code.
    
    In addition, this fixes various issues with the --stats option which was
    missing various constraints.
    DavePearce committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    0629bfa View commit details
    Browse the repository at this point in the history