[e-lang] Returning guards from __getAllegedType: opinions needed

[Mark S. Miller]

Kevin Reid wrote:
>>> 3a. As #1, but evaluate only expressions which are proven to have no
>>> side effects.
>>> 3b. Same as #3a, but evaluate the expressions when the ObjectExpr is
>>> evaluated. 
> 
> There is a difference: a given reference may not /yet/ be DeepFrozen,  
> due to being or containing an unresolved promise.

Understood. In that case, once E insists guards are DeepFrozen, I would favor #3a.

-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM