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

[Charles Shuller]

> :- 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.


Thanks!

Charles

>
> /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>