[mercury-users] map__foldl2

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Dec 27 22:12:30 AEDT 1999


On 17-Dec-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 13-Dec-1999, Dominique de Waleffe <ddw at miscrit.be> wrote:
...
> > :- inst inst1 = bound(ground-unique ; ground-ground).
...
>     [That mode declaration]
>     is not valid since it uses '-'/2 twice.  The compiler ought to reject it.
>     That should not be too hard to fix; it won't be fixed in 0.9 but
>     hopefully it should be fixed sometime soon after that; e.g. we might
>     make a 0.9.1 release and if so, it might be fixed in that.

We will indeed be making a 0.9.1 release, and that bug will indeed be fixed
in 0.9.1.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list