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

Remove with-handler and &this from system #20

Closed
2 tasks done
jar600 opened this issue Jun 15, 2018 · 1 comment
Closed
2 tasks done

Remove with-handler and &this from system #20

jar600 opened this issue Jun 15, 2018 · 1 comment
Assignees
@jar600
Labels
enhancement Describes a new feature.
Milestone
POPL-semanticsready

Comments

@jar600
Copy link
Contributor

jar600 commented Jun 15, 2018 •
edited

  • Rewrite the prelude and other modules, as needed, so that they do not use with-address or &this (I think this is mainly just the definition of map) - use inf instead
  • Remove with-address and &this from interpreter and documentation
@jar600 jar600 added this to the POPL-semanticsready milestone Jun 15, 2018
@jar600 jar600 self-assigned this Jun 15, 2018
This was referenced Jun 15, 2018
Closed
Closed
@jar600 jar600 added the enhancement Describes a new feature. label Jun 15, 2018
@jar600
Copy link
Contributor Author

jar600 commented Jun 21, 2018

First checkbox achieved in commit 737e4ee

jar600 pushed a commit that referenced this issue Jun 23, 2018
Removed with-address altogether (#20)
5d2ec0c
@jar600 jar600 closed this as completed Jun 23, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jar600 jar600

Labels
enhancement Describes a new feature.
Projects
None yet
Milestone
POPL-semanticsready
Development

No branches or pull requests
1 participant
@jar600