Ticket #44727

Ssafy letrec after invocation

Open Date: 2022-05-30 20:49 Last Update: 2022-05-30 20:50

Reporter:
Owner:
(None)
Status:
Open
Component:
(None)
MileStone:
(None)
Priority:
5 - Medium
Severity:
5 - Medium
Resolution:
None
File:
None

Details

With the following condition, letrec after invocation should be able to ssafy.

  • The binding is not exposed
  • After a local var is captured by an enclosed ssafun, the var should not be assigned
  • After an invocation, no local var assignment occurs except for letrec(s)
  • The vars assigned by letrec are not read or captured before letrec

Ssafy conversion of letrec can be done as follows:

  • Move the letrec after the last assignment except for the letrec, and before any invocation

Ticket History (2/2 Histories)

2022-05-30 20:49 Updated by: miyakawataku
  • New Ticket "Ssafy letrec after invocation" created
2022-05-30 20:50 Updated by: miyakawataku
  • Details Updated

Attachment File List

No attachments

Edit

You are not logged in. I you are not logged in, your comment will be treated as an anonymous post. » Login