[e-lang] Fwd: ScopeLayout hidden
kpreid at mac.com
Sat Feb 27 15:41:06 PST 2010
Begin forwarded message:
> From: Mark Miller <erights at gmail.com>
> Date: February 27, 2010 18:06:46 EST
> To: Kevin Reid <kpreid at mac.com>
> Cc: Thomas Leonard <tal at it-innovation.soton.ac.uk>
> Subject: ScopeLayout hidden
> Kevin, Besides the obvious change, this [patch] also does a bit of
> reformatting. And it adds maximally restrictive safej files for
> ScopeLayout and EvalContext, just in case they leak by other means.
> See ENode#getScopeLayout() as such a leak that should probably be
> plugged more directly than just making ScopeLayouts opaque.
> Hi Thomas, I'm cc'ing you as our new committer. Welcome aboard! This
> is in reaction to the bug you reported. The underlying problem is that
> our taming system is too permissive. This doesn't fix this underlying
> problem, but only a symptom: It restricts Scope to not expose
> ScopeLayouts or EvalContexts, as these are really details of the
> implementation that shouldn't be visible from E. The specific bug you
> found came from exposing an internal optimization that relied to
> delicate invariants to E code which could violate these invariants.
Kevin Reid <http://switchb.org/kpreid/>
More information about the e-lang