If you think a bug might affect users in the 57 release, please set the correct tracking and status flags for Release Management.

Rudimentary support for "finally" clauses

RESOLVED FIXED

Status

Tamarin
Self-hosting compiler (ESC)
RESOLVED FIXED
10 years ago
10 years ago

People

(Reporter: Lars T Hansen, Unassigned)

Tracking

Details

Attachments

(1 attachment)

(Reporter)

Description

10 years ago
Created attachment 298473 [details] [diff] [review]
Patch

Supports basic "finally" handling.  Does not support break, continue, or return past a finally clause -- the verifier has real problems with these (even in ASC according to Erik).  A syntax error is thrown if the program tries to do this.
Attachment #298473 - Flags: review?(tierney)

Comment 1

10 years ago
Comment on attachment 298473 [details] [diff] [review]
Patch

Looks good.  ASC does go to great lengths to satisfy the verifier, but still fails on some edge cases.  However, it does produce working code for the majority of cases.  I'm not sure if it's impossible to get it right, or just very, very difficult.  

We may have to do something similar for ESC, but we can worry about that later.
Attachment #298473 - Flags: review?(tierney) → review+
(Reporter)

Comment 2

10 years ago
Pushed as changeset 328.
Status: NEW → RESOLVED
Last Resolved: 10 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.