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

[Simon Taylor]

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