Changes between Version 7 and Version 8 of QualifiedOperators


Ignore:
Timestamp:
Oct 16, 2009 11:52:07 AM (5 years ago)
Author:
simonmar@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • QualifiedOperators

    v7 v8  
    9696(*) only if precedence isn't important, e.g. not in cases like {{{`M.(+)` x `M.(*)` y}}}. 
    9797 
    98 == References == 
    99  
    10098== Report Delta == 
    10199 
     100=== Section 2.4 === 
    102101 
     102Add  
     103 
     104{{{ 
     105  var     -> varid  |  ( varsym ) 
     106  con     -> conid  |  ( consym ) 
     107 
     108  qvar    -> [ modid . ] var 
     109  qcon    -> [ modid . ] con 
     110 
     111  varop   -> varsym  |  `var` 
     112  qvarop  -> varsym  |  `qvar` 
     113  conop   -> consym  |  `con` 
     114  qconop  -> consym  |  `qcon` 
     115}}} 
     116 
     117remove `qvarid`, `qvarsym`, `qconid`, `qvarsym` from the description of qualified identifiers.  Add text to explain the syntax of qualified operators (moving some of it from 3.2 and updating to the new syntax), and modify the text describing qualified identifiers.  Adjust the table of "Sample lexical analyses" according to the new syntax. 
     118 
     119`tyvar`, `tycon`, `tycls`, `qtycon`, `qtycls`, remain as they are. 
     120 
     121=== Section 3.2 === 
     122 
     123Remove `var`, `con`, `qvar`, `qcon`, `varop`, `qwvarop`, `conop`, `qconop` and associated text (some of which moved to 2.4) 
     124 
     125 
     126=== Section 9 (Syntax reference) === 
     127 
     128Make corresponding changes as for 2.4 and 3.2 above. 
     129