HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
More helpful error message for failure to create an SSL context
[hcoop/domtool2.git]
/
src
/
domtool.grm
diff --git
a/src/domtool.grm
b/src/domtool.grm
index
ca9ff3a
..
0cf5778
100644
(file)
--- a/
src/domtool.grm
+++ b/
src/domtool.grm
@@
-53,6
+53,7
@@
open Ast
| ctxt of pred
| recd of record
| recdNe of record
| ctxt of pred
| recd of record
| recdNe of record
+ | SEMIopt of unit
%verbose (* print summary of errors *)
%pos int (* positions *)
%verbose (* print summary of errors *)
%pos int (* positions *)
@@
-137,10
+138,13
@@
term : LPAREN exp RPAREN (exp)
| LET exp IN exp END (ELocal (exp1, exp2), (LETleft, ENDright))
| SYMBOL (EVar SYMBOL, (SYMBOLleft, SYMBOLright))
| LET exp IN exp END (ELocal (exp1, exp2), (LETleft, ENDright))
| SYMBOL (EVar SYMBOL, (SYMBOLleft, SYMBOLright))
-sets : CSYMBOL EQ apps
([(ESet (CSYMBOL, apps), (CSYMBOLleft, appsright))])
+sets : CSYMBOL EQ apps
SEMIopt
([(ESet (CSYMBOL, apps), (CSYMBOLleft, appsright))])
| CSYMBOL EQ apps SEMI sets ((ESet (CSYMBOL, apps), (CSYMBOLleft, appsright))
:: sets)
| CSYMBOL EQ apps SEMI sets ((ESet (CSYMBOL, apps), (CSYMBOLleft, appsright))
:: sets)
+SEMIopt: SEMI ()
+ | ()
+
elist : ([])
| elistNe (elistNe)
elist : ([])
| elistNe (elistNe)