qualified-operators.md

@@ -151,9 +151,48 @@ proposed     (`M.(+)` 1)    (1 `M.(+)`)     M.(+)
 (\*) only if precedence isn't important, e.g. not in cases like ``M.(+)` x `M.(*)` y`.
 
 
-## References
+## Report Delta
 
 
-## Report Delta
+### Section 2.4
+
+
+
+Add 
+
+
+```wiki
+  var     -> varid  |  ( varsym )
+  con     -> conid  |  ( consym )
+
+  qvar    -> [ modid . ] var
+  qcon    -> [ modid . ] con
+
+  varop   -> varsym  |  `var`
+  qvarop  -> varsym  |  `qvar`
+  conop   -> consym  |  `con`
+  qconop  -> consym  |  `qcon`
+```
+
+
+remove `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.
+
+
+
+`tyvar`, `tycon`, `tycls`, `qtycon`, `qtycls`, remain as they are.
+
+
+### Section 3.2
+
+
+
+Remove `var`, `con`, `qvar`, `qcon`, `varop`, `qwvarop`, `conop`, `qconop` and associated text (some of which moved to 2.4)
+
+
+### Section 9 (Syntax reference)
+
+
+
+Make corresponding changes as for 2.4 and 3.2 above.