Issue 12489: Section: A.3.1.2 Semantics of Expressions, Definition A.30 part ii (ocl2-rtf)
Source:  (, )
Nature: Revision
Severity: Minor
Summary: Definition A.30, part ii says "I[[let v = e1 in e2]](r) = I[[e2]](s, ß{v / I[[e1]](r)})." Maybe the problem is my ignorance of the meaning of the / in that expression as well as the meaning of the notation "ß{...}". I would have expected instead something like, "... = I[[e2]](s, ß U {v = I[[e1]](r)})." 

Resolution: Disposition:	See issue 12488 for disposition
Revised Text: 
Actions taken:
May 15, 2008: received issue
October 16, 2009: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 15 May 2008 11:26:33 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report



--------------------------------------------------------------------------------

Name: Garr Lystad
Company: Net.Orange (i.e. Net Dot Orange)
mailFrom: glystad@ndorange.com
Notification: Yes
Specification: Object Constraint Language
Section: A.3.1.2 Semantics of Expressions
FormalNumber: n/a
Version: 2.0
RevisionDate: 1 May 2006
Page: 203
Nature: Revision
Severity: Minor
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.8.1.14) Gecko/20080404 Firefox/2.0.0.14
Description
Definition A.30, part ii says "I[[let v = e1 in e2]](r) = I[[e2]](., .{v / I[[e1]](r)})." Maybe the problem is my ignorance of the meaning of the / in that expression as well as the meaning of the notation ".{...}". I would have expected instead something like, "... = I[[e2]](., . U {v = I[[e1]](r)})."