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
signature
sorts Value
sort aliases
Env = Map(ID, Value)
components
E : Env
constructors
NumV : Int -> Value
BoolV : Bool -> Value
ClosV : ID * ExprC * Env -> Value
variables
v : Value
arrows
Program -init-> Value
ExprExt --> ExprC // desugar
ExprC --> Value // interpret
the rule
Program(e) -init-> v
where e --> v.
explicates to
E E1 |- Program(e) -init-> v
where
e -default-> e1;
E E1 |- e1 -default-> v1;
E E1 |- v1 -default-> v : Value.
which is wrong since the variable v1 is of type Value according to the signature, but should be of type ExprC. Thus, a problem with name generation for variables.
The text was updated successfully, but these errors were encountered:
In this context
the rule
explicates to
which is wrong since the variable v1 is of type Value according to the signature, but should be of type ExprC. Thus, a problem with name generation for variables.
The text was updated successfully, but these errors were encountered: