Are there any reasons not to define an eval function that is just like
PolyML.use but reads from a string instead of a file?
I've done it and it seems to work okay, but I'm wondering whether it
was purposefully omitted from the PolyML structure (or maybe it is
there and I haven't seen it).
(I would use such a function instead of writing a string out to a
temporary file and use-ing that file back in.)
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
