[m-dev.] for review: add MC++ implementation of library and runtime

[Zoltan Somogyi]

On 05-Dec-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> ops.m:033: In `__Unify__(in, in)':
> ops.m:033:   warning: determinism declaration could be tighter.
> ops.m:033:   Declared `semidet', inferred `det'.
> 
> I'll get rid of it now, it was just slowing me down while searching for
> "real" errors. 
> 
> But of course it needs to be fixed before we release, because
> --halt-at-warn is set in the library directory.

Users at present cannot do anything to shut up such warnings without changing
the type definition. I think that is bad, and we should get the compiler to
simply not generate such warnings for compiler-generated predicates. We already
suppress such messages for typeclass instances. The change is trivial to
implement: just one more condition in check_determism in det_report.m.

Any objections?

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