5564 2008-03-13 02:32:50 +0000 recursive definition of DerefExpr should be restored 2008-04-16 06:30:13 +0000 1 1 1 Unclassified SML Core LC PC All RESOLVED FIXED resolved P2 normal CR 1 kumarp kumarp public-sml oldest_to_newest 19433 0 kumarp 2008-03-13 02:32:50 +0000 It seems that DerefExpr is no longer recursively defined in section 5.2.1.2. The definition in LC draft is: DerefExpr ::= (NCName ':')? 'deref(' Step ('/'Step)* ')' ('/'Step)* definition as in second public draft: DerefExpr ::= (NCName ':')? 'deref(' Step (/Step)* ')' ('/'Step)* | (NCName ':')? 'deref(' DerefExpr ')' (/Step)* The definition was made incorrect sometime between second the third public drafts. The correct definition should be restored. This may also be a potential cause of Henry's question in bug# 5526 (What does "nested to any depth" mean?). 19434 1 kumarp 2008-03-13 02:34:46 +0000 Proposal: Restore the def. of DerefExpr as shown below: DerefExpr ::= (NCName ':')? 'deref(' Step ('/'Step)* ')' ('/'Step)* | (NCName ':')? 'deref(' DerefExpr ')' ('/'Step)* 19453 2 kumarp 2008-03-13 18:25:38 +0000 resolution (3/13 conf call): mark editorial 19829 3 kumarp 2008-04-16 06:30:13 +0000 fixed per comment# 1