[m-users.] switch confusion with cc_multi

Mark Brown mark at mercurylang.org
Wed Aug 21 02:06:04 AEST 2019


On Tue, Aug 20, 2019 at 3:20 AM Zoltan Somogyi
<zoltan.somogyi at runbox.com> wrote:
>
> On Mon, 19 Aug 2019 14:17:31 +0100, emacstheviking <objitsu at gmail.com> wrote:
> > Every time I use multiple predicates with (_,..) as the event
>
> What does this mean? If you don't show us the actual code, we cannot tell you
> what is wrong with it. We can only guess, as the previous two replies have done,
> which may only confuse you further.

Code was posted, and the relevant predicate was referred to by name.
The code compiles fine with a reasonable type declaration so long as
it doesn't have user defined equality or comparison, but if it does
the compiler reports that a unification has multiple solutions. That
is why I asked about that feature.

> only det code may do I/O.

cc_multi code may do I/O.

Mark


More information about the users mailing list