[m-dev.] question about exception.m and also mode-specific clauses

Tyson Dowd trd at cs.mu.OZ.AU
Fri Aug 17 00:43:57 AEST 2001


Why is the determinism of get_determinism "cc_multi" instead of "det"?

And if you write mode-specific clauses for code, should the compiler
just believe the determinism you give, and not try to suggest a more accurate
determinism?

(yes these questions are related -- try implemeting get_determinism in
Mercury to see why).

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