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

Translation from Core to Core.Stripped #1520

Closed
lukaszcz opened this issue Sep 6, 2022 · 0 comments · Fixed by #1665
Closed

Translation from Core to Core.Stripped #1520

lukaszcz opened this issue Sep 6, 2022 · 0 comments · Fixed by #1665
Assignees
@lukaszcz
Labels
core Related to JuvixCore enhancement New feature or request
Milestone
0.3 - Valencia

Comments

@lukaszcz
Copy link
Collaborator

lukaszcz commented Sep 6, 2022 •
edited
Loading

The final translation should be straightforward. It should first perform the necessary non-trivial transformations implemented in other PRs to bring Node/InfoTable into a state from which a straightforward recursive translation to Core.Stripped is feasible.

Dependencies

Starting point

  • Core.Translation.Stripped.FromCore contains a stub.
@lukaszcz lukaszcz added enhancement New feature or request pending-review core Related to JuvixCore labels Sep 6, 2022
@lukaszcz lukaszcz added this to the 0.3 milestone Sep 6, 2022
This was referenced Sep 22, 2022
Closed
Closed
@lukaszcz lukaszcz mentioned this issue Sep 28, 2022
Closed
@lukaszcz lukaszcz mentioned this issue Dec 13, 2022
Merged
@lukaszcz lukaszcz linked a pull request Dec 13, 2022 that will close this issue
JuvixCore to JuvixAsm translation #1665
Merged
lukaszcz added a commit that referenced this issue Jan 9, 2023
@lukaszcz
JuvixCore to JuvixAsm translation (#1665)
f2298bd 
An implementation of the translation from JuvixCore to JuvixAsm. After
merging this PR, the only remaining step to complete the basic
compilation pipeline (#1556) is the compilation of complex pattern
matching (#1531).

* Fixes several bugs in lambda-lifting.
* Fixes several bugs in the RemoveTypeArgs transformation.
* Fixes several bugs in the TopEtaExpand transformation.
* Adds the ConvertBuiltinTypes transformation which converts the builtin
bool inductive type to Core primitive bool.
* Adds the `juvix dev core strip` command.
* Adds the `juvix dev core asm` command.
* Adds the `juvix dev core compile` command.
* Adds two groups of tests: 
- JuvixCore to JuvixAsm translation: translate JuvixCore tests to
JuvixAsm and run the results with the JuvixAsm interpreter,
- JuvixCore compilation: compile JuvixCore tests to native code and WASM
and execute the results.
* Closes #1520 
* Closes #1549
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
core Related to JuvixCore enhancement New feature or request
Projects
None yet
Milestone
0.3 - Valencia
Development

Successfully merging a pull request may close this issue.

JuvixCore to JuvixAsm translation anoma/juvix
3 participants
@lukaszcz @jonaprieto @janmasrovira