[m-dev.] cc_multi or det ?

[Holger Krug]

I would ask Fergus to answer this mail.

Ralph and I incorporated exception handling code to lex.  A user
defined function may throw an exception of type `lex__excn', which our
code catches. The code then builds an error token out of the
exception. Our user manual asks the user to throw exceptions in an
unequivocal way. If the user follows our recommendation we can use
`promise_only_solution', if not, the semantics would be undefined.

Shall we use it or shall we declare `main' `cc_multi' ? 


-- 
Holger Krug
hkrug at rationalizer.com
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------