Hi Ed,
I just realized that the whole safe parsing words idea is subtly
flawed. For example, T{ is a safe parsing word but we can use it to
construct an object that crashes the Factor VM:
( scratchpad ) T{ vector f { } 100 } .
Memory protection fault at address 303038
Now that I think about it, I guess we could have a validate-literal
generic with methods on various types that is called by T{ to ensure
the constructed literal is valid. It could check invariants, and it
would address this particular problem. But I wonder if there's
anything else like this.
Slava
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Factor-talk mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/factor-talk
