Issue 47: I can't store a field access permission in an invariant
Status:  Invalid
Owner:
Closed:  Oct 2008
Project Member Reported by nels.bec...@gmail.com, Oct 1, 2008
While you can specify that an invariant permission is for the frame:
inv="myField == true => full(this!fr)"

It doesn't actually give you a frame permission! I think this was a mistake 
I made when developing the InvariantMerger code.
Oct 3, 2008
Project Member #1 nels.bec...@gmail.com
Okay, I'm not working on this any more. Maybe later...
Status: Accepted
Oct 8, 2008
Project Member #2 nels.bec...@gmail.com
(No comment was entered for this change.)
Status: Invalid