luque@info.ucl.ac.be (Luis Quesada) writes:
> '#'(X, )=Z
>
> can a variable occur in this context? Cannot this be inferred
> statically?
(1) no, it cannot since a nesting marker is needed. I already
answered that.
(2) this is inferred statically: that's what the error message is
telling you.
-- Dr. Denys Duchier Denys.Duchier@ps.uni-sb.de Forschungsbereich Programmiersysteme (Programming Systems Lab) Universitaet des Saarlandes, Geb. 45 http://www.ps.uni-sb.de/~duchier Postfach 15 11 50 Phone: +49 681 302 5618 66041 Saarbruecken, Germany Fax: +49 681 302 5615 - Please send submissions to hackers@mozart-oz.org and administriva mail to hackers-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/.