Skip to content

Codegen: Setting up the CLI #67

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
Merged
merged 41 commits into from
Mar 15, 2023
Merged

Codegen: Setting up the CLI #67

merged 41 commits into from
Mar 15, 2023

Conversation

@bladyjoker
Copy link
Contributor

@bladyjoker bladyjoker commented Mar 2, 2023 •
edited
Loading

DONE

  • lbg gen-haskell wired up
  • Opaques are configured via a haskell.json file
  • Added a Prelude.lbf and LambdaBuffers.lbf example source files to test codegen manually
  • Implements MiniLog as type class checking implementation
  • Various tests and goldens added

@bladyjoker bladyjoker self-assigned this Mar 2, 2023
@bladyjoker bladyjoker changed the base branch from main to bladyjoker/compiler March 3, 2023 20:36
@bladyjoker bladyjoker requested a review from gnumonik March 3, 2023 20:45
Base automatically changed from bladyjoker/compiler to main March 4, 2023 14:16
@bladyjoker bladyjoker removed the request for review from gnumonik March 4, 2023 15:14
bladyjoker added 18 commits March 7, 2023 18:45
@bladyjoker
Implemented ProtoCompat.Eval used to evaluate LB types
a63c668
@bladyjoker
Implements MiniLog with tests.
7e989e1
@bladyjoker
WIP
9a35c0e
@bladyjoker
Fixed a very annoying issue with printing back ML.Terms.
98cea69
@bladyjoker
Implements MiniLog cycle check
5eabe13
@bladyjoker
Implements MiniLog printing to Prolog terms for debugging
674bb12
@bladyjoker
Wires up MiniLog based type class checking.
c8dc087
@bladyjoker
Updates the API with Dervice, ClassConstraint and some additional cos…
51a4854 
…metics
@bladyjoker
Update Codegen with the new API changes
50dd6a2
@bladyjoker
Derive is now wired in the Compiler
9234884
@bladyjoker
Adds more tests to type class checking
d055851
@bladyjoker
Consolidates type class checking errors in a module
71d6af7
@bladyjoker
Implements all class check errors
c39db2f
@bladyjoker
Adds textproto to Cabal data filter.
446fa15
@bladyjoker
Rule scoping tweaks
3ea5e33
@bladyjoker
Additionally tests for rule scoping.
9c356f4
@bladyjoker
Reverts the Frontend CLI code back to the app dir.
5e78378
@bladyjoker
Merge remote-tracking branch 'origin/main' into bladyjoker/codegen
80a8647
@bladyjoker bladyjoker merged commit 1c9557e into main Mar 15, 2023
@bladyjoker bladyjoker deleted the bladyjoker/codegen branch March 15, 2023 13:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@bladyjoker bladyjoker

Labels

codegen

Projects

Lambda Buffers
Status: Done

Milestone

Catalyst milestone 2: End to end proo...

Development

Successfully merging this pull request may close these issues.

2 participants

@bladyjoker