[m-users.] Open sourced Mission Critical IT code

[Delmas Buckley]

Thank you, Matthias.

Robert Buckley

On Wed, Jun 3, 2015 at 11:52 PM, Matthias Güdemann <
matthias.guedemann at googlemail.com> wrote:

> Hi Paul and Robert,
>
> I had a look at the test_bdd.m program. It seems that there simply is a
> problem with the argument order. In lines 283 and 293, the variable BDD
> is of type bdd(Var) and must be passed as *second* argument instead of
> as first, as the function evaluate has the type:
>
> :- func evaluate(valuation(BooleanVar), bdd(BooleanVar)) = bool.
>
> when this is done (see attached patch), the program compiles and all
> tests in test_bdd.m pass (see attached compressed output).
>
> Matthias
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20150604/c96c72b8/attachment.html>