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

Update to GEB version 0.3.2 #2244

Merged
merged 5 commits into from
Jul 11, 2023
Merged

Update to GEB version 0.3.2 #2244

merged 5 commits into from
Jul 11, 2023

Conversation

lukaszcz
Copy link
Collaborator

@lukaszcz lukaszcz commented Jul 4, 2023 •
edited
Loading

GEB 0.3.2 introduces the following changes.

  • The STLC frontend no longer requires full type information in terms. The syntax of the terms changed.
  • An error node has been introduced which allows to compile Juvix fail nodes.

The following features required for compilation from Juvix are still missing in GEB.

@lukaszcz lukaszcz added this to the 0.4.2 milestone Jul 4, 2023
@lukaszcz lukaszcz self-assigned this Jul 4, 2023
@lukaszcz lukaszcz marked this pull request as ready for review July 5, 2023 10:43
@lukaszcz lukaszcz requested a review from jonaprieto July 5, 2023 10:43
@jonaprieto
Copy link
Collaborator

Let's have Geb in the CI and test all the new geb files.

@lukaszcz lukaszcz mentioned this pull request Jul 6, 2023
Closed
jonaprieto
jonaprieto approved these changes Jul 11, 2023
View reviewed changes
Copy link
Collaborator

@jonaprieto jonaprieto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll open a new PR for testing our generated GEB programs.

@jonaprieto jonaprieto merged commit bf6603e into main Jul 11, 2023
4 checks passed
@jonaprieto jonaprieto deleted the geb-update-v0.3.2 branch July 11, 2023 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jonaprieto jonaprieto jonaprieto approved these changes

Assignees

@lukaszcz lukaszcz

Labels
backend:geb pipeline:geb translation:core-to-geb
Projects
None yet
Milestone
0.4.2
Development

Successfully merging this pull request may close these issues.
2 participants
@lukaszcz @jonaprieto