On 29 Jun 2009, at 17:42, Torsten Anders wrote:
On 29 Jun 2009, at 14:08, Raphael Collet wrote:
Module.link takes a URL as an argument, and guarantees that
several calls to it with the same URL will only apply the
corresponding functor once. So, provided that you don't refer to
a given functor with distinct URLs, it will never be applied more
than once with Module.link.
Module.link always creates a new module manager (http://www.mozart-
oz.org/documentation/system/node7.html#chapter.module),
Module.link is defined as follows:
fun {Module.link UrlVs}
ModMan = {New Module.manager init}
in
{Map UrlVs fun {$ Url}
{ModMan link(url:Url $)}
end}
end
Best
Torsten
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
