Constructor classes (Re: [mercury-users] Question)

Juergen Stuber juergen at
Wed Aug 25 05:58:21 AEST 1999

Fergus Henderson <fjh at> writes:
> However, making everything implicitly curried isn't as straight-forward
> as it sounds, I think, due to interactions with predicates and the mode
> system.  Also it's more difficult to implement efficiently, I think.

I agree.  And as I said, I don't think it is very important;
there are certainly a lot of more important things to do.
The feature I personally miss most is constructor classes
(or something equivalent).  Is anything going on in that


Jürgen Stuber <juergen at>
mercury-users mailing list
post:  mercury-users at
administrative address: owner-mercury-users at
unsubscribe: Address: mercury-users-request at Message: unsubscribe
subscribe:   Address: mercury-users-request at Message: subscribe

More information about the users mailing list