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

[Fergus Henderson]

On 06-Dec-2000, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 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'.
> 
> 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?

I think that's a fine solution.  However, I would like to know
why the warning only occurs when you compile with `--target il'.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------