9 Feb
2010
9 Feb
'10
11:21 p.m.
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.)