[m-rev.] for review: add terminates pragmas to throw/1 and error/1

Simon Taylor stayl at cs.mu.OZ.AU
Tue Nov 18 21:49:42 AEDT 2003


On 13-Nov-2003, Julien Fischer <juliensf at students.cs.mu.OZ.AU> wrote:
> 
> Estimated hours taken: 1
> Branches: main
> 
> Add pragma terminates declarations to exception.builtin_throw/1,
> exception.throw/1 and require.error/1.

Isn't the semantics of exception.throw that it loops forever?
You might want to check uses of termination information in the
optimization passes of the compiler to make sure they don't
assume this.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list