[developers] Cheap scope Implementations?

Joshua Cason joshua.aaron.cason at gmail.com
Fri Jan 23 04:37:20 CET 2015


Stephan (and Ann before that),

If I come back to this task, I guess I will use the LKB version or come up
with my own solution if the Redwoods script hasn't been updated.

Thanks for the responses!

Best,
Josh


On Sun, Jan 11, 2015 at 5:36 PM, Stephan Oepen <oe at ifi.uio.no> wrote:

> hi joshua,
>
> > I generated those formulas with the redwoods script in the logon root. It
> > would, of course, be ideal if that script itself included an option to
> > preform the scope resolution, but there is no obvious option I can find
> in
> > the script that does that.
>
> i had to check for myself, but you are right: the current Redwoods
> export machinery does not support invokation of any of the scope
> resolves and output of the resulting formulae.  i have noted the
> feature request, though cannot promise i will get around to making
> those additions in the immediate future.
>
> best wishes, oe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.delph-in.net/archives/developers/attachments/20150122/a02372f9/attachment.html>


More information about the developers mailing list