[MLton-commit] r6347

[Vesa Karvonen]

Fixed frontend to accept "op longvid" patterns and expressions.

----------------------------------------------------------------------

U   mlton/trunk/doc/changelog
U   mlton/trunk/mlton/front-end/ml.grm

----------------------------------------------------------------------

Modified: mlton/trunk/doc/changelog
===================================================================
--- mlton/trunk/doc/changelog	2008-01-21 17:35:51 UTC (rev 6346)
+++ mlton/trunk/doc/changelog	2008-01-21 17:45:20 UTC (rev 6347)
@@ -1,5 +1,9 @@
 Here are the changes from version 20070826 to version YYYYMMDD.
 
+* 2008-01-21
+    - Fixed frontend to accept "op longvid" patterns and expressions.
+      Thanks to Florian Weimer for the bug report.
+
 * 2008-01-17
    - Extended -show-def-use output to include types of variable
      definitions.

Modified: mlton/trunk/mlton/front-end/ml.grm
===================================================================
--- mlton/trunk/mlton/front-end/ml.grm	2008-01-21 17:35:51 UTC (rev 6346)
+++ mlton/trunk/mlton/front-end/ml.grm	2008-01-21 17:45:20 UTC (rev 6347)
@@ -990,8 +990,8 @@
 app_exp1 :         ([])
          | app_exp (app_exp)
 
-aexp    : OP vid                (Exp.Var {name = Longvid.short vid,
-                                         fixop = Fixop.Op})
+aexp    : OP longvid            (Exp.Var {name = longvid,
+                                          fixop = Fixop.Op})
         | const                 (Exp.Const const)
         | HASH field            (Exp.Selector field)
         | LBRACE elabels RBRACE
@@ -1090,7 +1090,7 @@
 
 apatnode : longvidNoEqual        (Pat.Var {name = longvidNoEqual,
                                            fixop = Fixop.None})
-        | OP vid                 (Pat.Var {name = Longvid.short vid,
+        | OP longvid             (Pat.Var {name = longvid,
                                            fixop = Fixop.Op})
         | const
           (let