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

Tego runtime #73

Merged
merged 21 commits into from
Oct 21, 2021
Merged

Tego runtime #73

merged 21 commits into from
Oct 21, 2021

Conversation

Virtlink
Copy link
Contributor

@Virtlink Virtlink commented Oct 4, 2021

This PR adds the Tego projects, language, and runtime, and the Tego compilers, mustache templates, and CFG option. Tego is the name of the lazy strategy language for Statix solver states and code completion.

@Virtlink Virtlink requested a review from Gohla October 4, 2021 11:50
Copy link
Member

@Gohla Gohla left a comment

Choose a reason for hiding this comment

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

Looks good! I did not do an in-depth review of the Tego runtime, but focused on the integration and API. I left a couple of in-line comments and some main comments here:

  • Should the runtime project just be called tego? I assume there is a Tego meta-language as well? If so, I think the meta-language should be called tego and the Tego runtime should be called tego.runtime or something like that.
  • You mimic the Stratego runtime classes which require a lot of weird state and hacks to get working correctly. For example, does the Tego runtime require the language definition directory as input? And do we need to create a new Tego runtime every time? It would be good to think a bit about the API here and design a clean Tego runtime. Preferably it should be created once, with all state being passed into an invocation of the runtime.

These are also issues that we can solve later if you do not have time to work on that right now. We can merge and make an enhancement issue which should be resolved in the future.

@Virtlink
Copy link
Contributor Author

I renamed the project to tego.runtime, indeed a Tego meta-language will be added in the future.

The PR is again ready for review.

@Virtlink Virtlink requested a review from Gohla October 18, 2021 13:55
Copy link
Member

@Gohla Gohla left a comment

Choose a reason for hiding this comment

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

Nice! I left a few more comments regarding TegoEngine, and how the TegoRuntime is exposed. If those are resolved, we can merge this.

@Gohla Gohla merged commit 6735a05 into develop Oct 21, 2021
@Virtlink Virtlink deleted the tego-runtime branch November 8, 2021 10:09
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.

None yet

2 participants