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

T4/ast2 #32

Draft
wants to merge 76 commits into
base: master
Choose a base branch
from
Draft

T4/ast2 #32

wants to merge 76 commits into from

Conversation

gnumonik
Copy link
Collaborator

@gnumonik gnumonik commented May 9, 2024

Will fill this out later, I just want a PR for pretty browser diffs atm.

Description of the change

Clearly and concisely describe the purpose of the pull request. If this PR relates to an existing issue or change proposal, please link to it. Include any other background context that would help reviewers understand the motivation for this PR.


Checklist:

  • Added a file to CHANGELOG.d for this PR (see CHANGELOG.d/README.md)
  • Added myself to CONTRIBUTORS.md (if this is my first contribution)
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation
  • Added a test for the contribution or a justification for the absence of tests

gnumonik and others added 30 commits November 28, 2023 19:00
…HaP, added basic nix shell with build deps & locale config, placeholder UPLC codegen module & functions. You almost certainly need the hie.yaml and .envrc to work on this so I committed those intentionally.
…n the annotation) + reworked pretty printer to... print prettily
…e expressions, necessary for fully typing the desugared typeclass declarations
…s-wip

Sean/typed core fn.typeclasses wip
…g dictionary types, (sort of) fixed let-generalization, ported over more tests
…inery. (We're now properly *reconstructing* the types)
gnumonik and others added 30 commits March 20, 2024 00:21
…worked the IndexedPlated instance to be indexed on a name-context
…r and object desugarer, started working on final translation to PIR
…orking. TONS Of bugs. TONS of errors and undefineds and missing branches and etc.
It was already a no op
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants