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

Matthias Güdemann matthias.guedemann at googlemail.com
Thu Jun 4 16:52:59 AEST 2015


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 --------------
A non-text attachment was scrubbed...
Name: 0001-Fix-argument-order-for-evaluate-2-calls.patch
Type: text/x-diff
Size: 1541 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/users/attachments/20150604/0f0ef59c/attachment.patch>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: output.txt.bz2
Type: application/octet-stream
Size: 113407 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/users/attachments/20150604/0f0ef59c/attachment.obj>


More information about the users mailing list