# HG changeset patch
# User wenzelm
# Date 1266784889 -3600
# Node ID 40c37da7af546e58d33041e6666b4fd32b56d0d6
# Parent  41e82c1b55863f68d0315c00d7b89120ee9c7267
tuned;

diff -r 41e82c1b5586 -r 40c37da7af54 NEWS
--- a/NEWS	Sun Feb 21 21:33:11 2010 +0100
+++ b/NEWS	Sun Feb 21 21:41:29 2010 +0100
@@ -20,7 +20,12 @@
     provides the following special forms:
 
       CONST c   -- produces syntax version of constant c from context
-      XCONST c  -- literally c as AST constant (checked against the context)
+      XCONST c  -- literally c, checked as constant from context
+      c         -- literally c, if declared by 'syntax'
+
+    Plain identifiers are treated as AST variables -- occasionally the
+    system indicates accidental variables via the error "rhs contains
+    extra variables".
 
   - 'parse_translation' etc. in ML may use the following
     antiquotations: