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

Define primop, AST class, and HIR instruction class for the unbound slot value. #189

Open
robert-strandh opened this issue Nov 6, 2020 · 0 comments

Comments

@robert-strandh
Copy link
Owner

Currently, the unbound slot value is defined as a Common Lisp
constant. But defining it that way has two negative consequences.
First, it can escape from the environment, and that is not
desirable. Second, during bootstrapping, it needs to be defined
specially with a different value, so the production version can not be
used.

By defining it as a primop, AST class and HIR instruction class,
during bootstrapping we can use the production version of code that
needs to check for the unbound value. Then, the AST evaluator and the
HIR evaluator can be configured to use the special bootstrapping
value, whereas the HIR-to-MIR translator will use the native value.

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

No branches or pull requests

1 participant