Mercury Bugs - mercury
View Issue Details
0000192mercuryBugpublic2011-03-23 06:172011-03-23 06:17
Reportercolanderman 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusnewResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000192: State variable record notation enhancement
DescriptionWith the coming changes to the library to better support state variable use, I believe that the following notation would be useful:

foo(..., !X ^ bar)

would be equivalent to:

foo(..., !.X ^ bar, X_bar), !X ^ bar := X_bar

Multiple uses of this notation within one predicate call should probably be disallowed.
TagsNo tags attached.
Attached Files

There are no notes attached to this issue.

Issue History
2011-03-23 06:17colandermanNew Issue