[m-dev.] if-then goals

[Julien Fischer]

The compiler currently has code for handling goals of the form (if A then B)
or (A -> B).  However the code in the parser for handling these
is commented out, with the reason being given that because the
semantics for standard prolog (A -> B ; fail) are different from those
for Mercury, (A -> B ; true) this is disallowed for the moment?

Is the "moment" up?  If so, can we enable support for goals of this sort?
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------