On Thu, Jan 22, 2009 at 1:24 PM, Mark S. Miller <[email protected]> wrote: > Actually, I wasn't proposing a string literal. Just a tightening of the > language so that the expression argument to caja.manifest is itself > expressed in the JSON subset of ES, so that the cajoler knows it can move it > into the module manifest without changing its value or violating isolation.
I see. I agree but let me restate the steps for everyone's clarity: As a minimum, the expression provided as an argument to cajita.manifest needs to be such that it can be evaluated at cajole time, which means it must not transitively depend on any of the IMPORTS___. It also must evaluate to something that can be rendered as JSON. To avoid us having to implement an evaluator in the cajoler, we make the further restriction that it be in the JSON subset of ES. So: this should be a spec on the argument of cajita.manifest(), once we get around to writing that-all up. Do you agree? Ihab -- Ihab A.B. Awad, Palo Alto, CA
