Changes between Version 7 and Version 8 of QualifiedOperators


Ignore:
Timestamp:
Oct 16, 2009 11:52:07 AM (6 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