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

Register builtins during scoping and report proper errors instead of crashing #2943

Merged
merged 19 commits into from
Aug 20, 2024
Merged

Register builtins during scoping and report proper errors instead of crashing #2943

merged 19 commits into from
Aug 20, 2024

Commits on Aug 12, 2024

  1. wip

    @janmasrovira
    janmasrovira committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    6c22bb7 View commit details
    Browse the repository at this point in the history

  2. wip

    @janmasrovira
    janmasrovira committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    2a79b69 View commit details
    Browse the repository at this point in the history

  3. fixing pipeline

    @janmasrovira
    janmasrovira committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    effea2a View commit details
    Browse the repository at this point in the history

  4. store builtins in infotable

    @janmasrovira
    janmasrovira committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    4557bf7 View commit details
    Browse the repository at this point in the history

  5. remove builtins effect

    @janmasrovira
    janmasrovira committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    c53f1cb View commit details
    Browse the repository at this point in the history

  6. remove BuiltinsTable from Artifacts and fix repl

    @janmasrovira
    janmasrovira committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    1d9482d View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. debugging

    @janmasrovira
    janmasrovira committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    7d87d96 View commit details
    Browse the repository at this point in the history

  2. fix builtins defined in local modules

    @janmasrovira
    janmasrovira committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    bd0119c View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/main' into register-builtins-sco… 

    …ping
    @janmasrovira
    janmasrovira committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    e9d0dd5 View commit details
    Browse the repository at this point in the history

  4. clean Repl

    @janmasrovira
    janmasrovira committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    309d15f View commit details
    Browse the repository at this point in the history

  5. add comment

    @janmasrovira
    janmasrovira committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    00a2638 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Merge remote-tracking branch 'origin/main' into register-builtins-sco… 

    …ping
    @janmasrovira
    janmasrovira committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    3d03d58 View commit details
    Browse the repository at this point in the history

  2. clean

    @janmasrovira
    janmasrovira committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    e6822c4 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/main' into register-builtins-sco… 

    …ping
    @janmasrovira
    janmasrovira committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    aa5e656 View commit details
    Browse the repository at this point in the history

  4. refactor Semigroup InfoTable

    @janmasrovira
    janmasrovira committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    5382c61 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/main' into register-builtins-sco… 

    …ping
    @janmasrovira
    janmasrovira committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    e488e38 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. remove comment

    @janmasrovira
    janmasrovira committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    cffadad View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Merge remote-tracking branch 'origin/main' into register-builtins-sco… 

    …ping
    @paulcadman
    paulcadman committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    f863107 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. Merge branch 'main' into register-builtins-scoping

    @paulcadman
    paulcadman authored Aug 20, 2024
    Configuration menu
    Copy the full SHA
    2186464 View commit details
    Browse the repository at this point in the history