You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: