Mercury Bugs - mercury
View Issue Details
0000389mercuryFeature Requestpublic2015-07-21 10:452015-09-30 15:31
Assigned Towangp 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000389: aligned_pointer foreign type assertion
DescriptionThis is a proposal for a foreign type assertion. The user promises that values of this type would be clear in the tag bits (most likely a word-aligned pointer). The compiler would therefore be able to apply the direct arg optimisation to functors with a single argument of that foreign type.

(just writing it down for now, I won't be implementing it soon)
TagsNo tags attached.
Attached Files

2015-09-30 15:31   
Added in commit 62db25b

Issue History
2015-07-21 10:45wangpNew Issue
2015-09-30 15:31wangpNote Added: 0000850
2015-09-30 15:31wangpStatusnew => resolved
2015-09-30 15:31wangpResolutionopen => fixed
2015-09-30 15:31wangpAssigned To => wangp