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

Support module imports in Juvix REPL #2029

Merged
merged 19 commits into from
May 8, 2023
Merged

Support module imports in Juvix REPL #2029

merged 19 commits into from
May 8, 2023

Commits on Apr 25, 2023

  1. Add the parser state to Artifacts

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    a038831 View commit details
    Browse the repository at this point in the history

  2. Remove redundant calls to run*Artifacts functions

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    7e3adff View commit details
    Browse the repository at this point in the history

  3. Parse import statements in REPL

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    e701116 View commit details
    Browse the repository at this point in the history

  4. Process import statements in Juvix REPL 

    Artifacts has been augmented with fields for the:

* Abstract.InfoTable,
* Scoper.Scoper,
* Scoper.ScopeExports
* Internal.TranslationState
    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    8749fe7 View commit details
    Browse the repository at this point in the history

  5. Add repl import smoke test

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    1a6a64b View commit details
    Browse the repository at this point in the history

  6. Fix formatting

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    a2180d0 View commit details
    Browse the repository at this point in the history

  7. Add module caches to Artifacts

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    90e9476 View commit details
    Browse the repository at this point in the history

  8. Format

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    00a6615 View commit details
    Browse the repository at this point in the history

  9. Parse open import statements in the REPL

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    6dd23af View commit details
    Browse the repository at this point in the history

  10. Support open on an imported module in REPL

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    526c4a5 View commit details
    Browse the repository at this point in the history

  11. Add smoke test for open import in REPL

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    07f4707 View commit details
    Browse the repository at this point in the history

  12. Test type error in REPL when importing a module

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    e725a5e View commit details
    Browse the repository at this point in the history

  13. Move REPL pipeline functions to separate module

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    9efa841 View commit details
    Browse the repository at this point in the history

  14. Remove Eq derivation from ParserResult

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    92ab1c1 View commit details
    Browse the repository at this point in the history

  15. Style change

    @paulcadman
    paulcadman committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    785ae63 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2023

  1. Merge remote-tracking branch 'origin/main' into repl-imports

    @paulcadman
    paulcadman committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    ca39539 View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2023

  1. Merge remote-tracking branch 'origin/main' into repl-imports

    @paulcadman
    paulcadman committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    139ba64 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2023

  1. Merge branch 'main' into repl-imports

    @jonaprieto
    jonaprieto authored May 8, 2023
    Configuration menu
    Copy the full SHA
    cdfef94 View commit details
    Browse the repository at this point in the history

  2. Fix missing import

    @jonaprieto
    jonaprieto committed May 8, 2023
    Configuration menu
    Copy the full SHA
    3c1a710 View commit details
    Browse the repository at this point in the history