So we can test TT and TC's delayed type resolution in both VM's. Currently the only way to test this behavior in TC is from within Flash, with a SWF.
A better spec here would be good. Would it be OK to have functionality that allows multiple abc files to be loaded from a zip? That would be generally useful, too. Or are you looking for something else?
iirc, Steven did this for TT, we could refer to how that was done, but I dont have it offhand. loading multiple abc's from a zip would be fine, although a slight tweak to the abc format, and a generally available abc-merge tool, would also work. the meat of this bug, which requires tweakage in either case (zip or fat abc) is to specify to the vm which abc's should be loaded but not executed, ie which ones are pure libraries.
This is the patch in tracing: http://hg.mozilla.org/tamarin-tracing/rev/c0f9cf03a47b Will also need to bring over the testcases that are in tamarin-tracing or some variant.
Ed, has this bug been rendered uninteresting by other verifier work and the verifyonly mode?
Actually no, we could still do this in TC. A -noexec option would tell the shell to load and parse, but not execute, an abc. The shell now can do this with swfs (the DoAbc2 tag specifies whether to execute the abc or not), but it would be nice to be able to do it directly on the command line without creating a swf first.
You need to log in before you can comment on or make changes to this bug.