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

[WIP] Compilation of Snippets #1624

Closed
wants to merge 1 commit into from
Closed

[WIP] Compilation of Snippets #1624

wants to merge 1 commit into from

Conversation

chriseth
Copy link
Contributor

@chriseth chriseth commented Jan 31, 2017 •
edited by axic

Closes #1272.

@chriseth
Copy link
Contributor Author

chriseth commented May 2, 2017 •
edited

Discussion with @axic resulted in the following decision:

Snippets should be compiled via json-io (i.e. the snippet is not given using a special syntactical construct in the source file but rather as a full source file given in a special way via json-io) and they are required to be a full function.

@axic axic removed the in progress label Aug 2, 2018
@chriseth chriseth closed this Nov 14, 2018
@chriseth chriseth deleted the snippets branch November 14, 2018 15:04
@chriseth
Copy link
Contributor Author

Code was stale, but issue is still in scope.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@chriseth @axic