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

Tyson Dowd trd at cs.mu.OZ.AU
Wed Dec 6 14:20:30 AEDT 2000


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'.
> > 
> > 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?

Sounds fine, I'm actually very glad that it is an easy thing to do.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list