2019-10-16 17:42 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000475mercuryFeature Requestpublic2019-02-04 01:14
Reporterzs 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityN/A
StatusassignedResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000475: flatten maybe output args across calls
DescriptionMany predicates have an output argument which is a maybe(T): they either
return no, or they return yes(value). The caller tests whether the result is yes(X).
If it is, it picks up X = value, and the heap cell containing the yes wrapper
is never referred to again.

A compiler optimization should look for predicates where every call is like this,
and transform them so that the callee returns TWO results: a boolean which
is always meaningful, and a value of type T, which is meaningful only if the bool
is yes.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2019-02-04 01:14 zs New Issue
2019-02-04 01:14 zs Status new => assigned
2019-02-04 01:14 zs Assigned To => zs
+Issue History