[Fwd: Re: FS & documentation]

[Denys Duchier]

after looking closely at the implementation I can tell you that naive
is not equivalent to generic because generic picks first the variable
with the least number of UNKNOWN elements while naive simply takes
variables from left to right.  Furthermore, generic was using a non
stable sort which was the reason for the major weirdness which you
observed.  I am checking in a fix for that.  I don't know what to do
about the naive/generic discrepancy: fix it or document it?

Cheers,

-- 
Dr. Denys Duchier			Denys.Duchier at 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 users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.