E-mail aliases

[hcoop/domtool2.git] / src / domtool.grm

diff --git a/src/domtool.grm b/src/domtool.grm
index cd899e1..17ad3c1 100644 (file)
--- a/src/domtool.grm
+++ b/src/domtool.grm
@@ -85,6 +85,8 @@ decl   : decl' docOpt                      (decl', docOpt, (decl'left, docOptrig
 
 decl'  : EXTERN TYPE SYMBOL                (DExternType SYMBOL)
        | EXTERN VAL SYMBOL COLON typ       (DExternVal (SYMBOL, typ))
 
 decl'  : EXTERN TYPE SYMBOL                (DExternType SYMBOL)
        | EXTERN VAL SYMBOL COLON typ       (DExternVal (SYMBOL, typ))

+       | VAL SYMBOL EQ exp                 (DVal (SYMBOL, NONE, exp))
+       | VAL SYMBOL COLON typ EQ exp       (DVal (SYMBOL, SOME typ, exp))

 
 docOpt :                                   (NONE)
        | DOC                               (SOME DOC)
 
 docOpt :                                   (NONE)
        | DOC                               (SOME DOC)