[m-users.] Cannot execute a predicate from a Discriminated Union

Charles Shuller charles.shuller at gmail.com
Sun Jun 28 10:56:48 AEST 2015

> :- inst test == bound(test(ground,pred(m) is d)).
Also does not work.  It is syntactically correct, but the inst value
appears to be ignored.

> Also, it is easier to give help if you post a complete program.

I thought about attaching it when I first posted the quests, and guessed
wrongly that I should leave it out.   I've attached it(manual_test.m) to
see if that goes through.  If it fails, I'll just copy-paste it.



> /Tomas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20150628/f755c3d0/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: manual_test.m
Type: text/x-objcsrc
Size: 800 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/users/attachments/20150628/f755c3d0/attachment.bin>

More information about the users mailing list