X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/680ad350b54865e1cc5643bb1ec4e7b762781f18..629a34f64f780c03d049d20057acc9a487162272:/src/domtool.grm

diff --git a/src/domtool.grm b/src/domtool.grm
index cd899e1..17ad3c1 100644
--- 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))
+       | VAL SYMBOL EQ exp                 (DVal (SYMBOL, NONE, exp))
+       | VAL SYMBOL COLON typ EQ exp       (DVal (SYMBOL, SOME typ, exp))
 
 docOpt :                                   (NONE)
        | DOC                               (SOME DOC)