Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Simplify `toplevel_directive`.

master
François Pottier 2018-11-20 23:25:16 +01:00
parent a2c81033f8
commit 6f2e8faac3
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
parsing/parser.mly
View File

@ -816,6 +816,9 @@ The precedences must be listed from low to high.
%inline wrap_mksig_ext(symb): symb
{ wrap_mksig_ext ~loc:$sloc $1 }
%inline mk_directive_arg(symb): symb
{ mk_directive_arg ~loc:$sloc $1 }
/* Generic definitions */
(* [iloption(X)] recognizes either nothing or [X]. Assuming [X] produces
@ -3395,15 +3398,12 @@ class_longident:
/* Toplevel directives */
toplevel_directive:
HASH dir = mkrhs(ident) arg = ioption(toplevel_directive_argument)
HASH dir = mkrhs(ident)
arg = ioption(mk_directive_arg(toplevel_directive_argument))
{ mk_directive ~loc:$sloc dir arg }
;
toplevel_directive_argument:
toplevel_directive_argument_
{ mk_directive_arg ~loc:$sloc $1 }
;
toplevel_directive_argument_:
%inline toplevel_directive_argument:
| STRING { let (s, _) = $1 in Pdir_string s }
| INT { let (n, m) = $1 in Pdir_int (n ,m) }
| val_longident { Pdir_ident $1 }