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.

Sign up for GitHub

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

Jump to bottom

Candle REPL fixes #904

Merged
merged 3 commits into from Aug 20, 2022
Merged

Candle REPL fixes #904

merged 3 commits into from Aug 20, 2022

Commits on Aug 16, 2022

  1. Treat type variables more robustly in REPL

    @oskarabrahamsson
    oskarabrahamsson committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    96dd4cc View commit details
    Browse the repository at this point in the history

  2. Various fixes to Candle REPL 

    - Pointer equality definition (==) defaulting to false
- Define rat_minus
- Define a printer for rationals
- Set userInput when recovering from error
- Add comment about exception printer
    @oskarabrahamsson
    oskarabrahamsson committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    13f7ac2 View commit details
    Browse the repository at this point in the history

  3. Use loads/needs instead of #load/#need in REPL 

    This makes the REPL pick up on the words 'needs' and 'loads' when
they sit at the top level. If they are followed by a string literal
and a double semicolon token, the REPL loads a file (like previously
with #load and #need).

The motivation behind this change is to make sure Candle accepts HOL
Light source files with as minor changes as possible.
    @oskarabrahamsson
    oskarabrahamsson committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    7bd9810 View commit details
    Browse the repository at this point in the history