Add string pasting support to the gramamr.

diff --git a/parse/l5.grm b/parse/l5.grm
index bf2e2616f3ac4a722f592fed243b2970006f1427..75c8bc9d484c1198cfc912e795614bd7a1adefc4 100644 (file)
--- a/parse/l5.grm
+++ b/parse/l5.grm
@@ -51,6 +51,7 @@ fun make_lval (A.Var(id)) ext = id
    program of A.program
  | programx of A.program
  | stms of A.stm list
    program of A.program
  | programx of A.program
  | stms of A.stm list

+ | stringcat of string

  | stm of A.stm
  | simp of A.stm
  | return of A.stm
  | stm of A.stm
  | simp of A.stm
  | return of A.stm


@@ -184,9 +185,12 @@ simpoption :                        (NONE)
 block      : stm                    ([stm])
            | LBRACE stms RBRACE     (stms)
 
 block      : stm                    ([stm])
            | LBRACE stms RBRACE     (stms)
 

+stringcat  : STRING                 (STRING)
+           | STRING stringcat       (STRING ^ stringcat)
+

 exp        : LPAREN exp RPAREN      (exp)
            | INTNUM                 (mark (A.ConstExp(INTNUM),(INTNUMleft,INTNUMright)))
 exp        : LPAREN exp RPAREN      (exp)
            | INTNUM                 (mark (A.ConstExp(INTNUM),(INTNUMleft,INTNUMright)))

-           | STRING                 (mark (A.StringExp(STRING),(STRINGleft,STRINGright)))
+           | stringcat              (mark (A.StringExp(stringcat),(stringcatleft,stringcatright)))

            | IDENT                  (mark (A.Var(IDENT), (IDENTleft,IDENTright)))
            | LBRACKET vtype RBRACKET exp %prec UNARY (mark (A.Cast (vtype, exp), (LBRACKETleft, expright)))
            | exp DOT IDENT          (mark (A.Member(exp, IDENT), (expleft, IDENTright)))
            | IDENT                  (mark (A.Var(IDENT), (IDENTleft,IDENTright)))
            | LBRACKET vtype RBRACKET exp %prec UNARY (mark (A.Cast (vtype, exp), (LBRACKETleft, expright)))
            | exp DOT IDENT          (mark (A.Member(exp, IDENT), (expleft, IDENTright)))