a25078ff9d
It is impossible to take the empty alternative for this production, since any input which matches `litsq_aq` would instead match `lit_aq` if the empty alternative is used. In addition, there is no action clause for the empty alternative, so it wouldn't typecheck if the empty alternative was possible. This has no effect on the generated parser, but clarifies the grammar (and makes ports easier!). Change-Id: I32c85d2c74ab047b4b52401248d5dc7fc3201705
119 lines
4.2 KiB
OCaml
119 lines
4.2 KiB
OCaml
%{
|
|
open Tex
|
|
|
|
let sq_close_ri = HTMLABLEC(FONT_UFH,"]", "]")
|
|
%}
|
|
%token <Tex.render_t> LITERAL DELIMITER
|
|
%token <string> FUN_AR2 FUN_INFIX FUN_AR1 DECL FUN_AR1nb FUN_AR1opt BIG FUN_AR2nb
|
|
%token <string*string> BOX
|
|
%token <string*(string*string)> FUN_AR1hl
|
|
%token <string*Tex.font_force> FUN_AR1hf DECLh
|
|
%token <string*(Tex.t->Tex.t->string*string*string)> FUN_AR2h
|
|
%token <string*(Tex.t list->Tex.t list->string*string*string)> FUN_INFIXh
|
|
%token EOF CURLY_OPEN CURLY_CLOSE SUB SUP SQ_CLOSE NEXT_CELL NEXT_ROW
|
|
%token BEGIN__MATRIX BEGIN_PMATRIX BEGIN_BMATRIX BEGIN_BBMATRIX BEGIN_VMATRIX BEGIN_VVMATRIX BEGIN_CASES BEGIN_ARRAY BEGIN_ALIGN BEGIN_ALIGNAT BEGIN_SMALLMATRIX
|
|
%token END__MATRIX END_PMATRIX END_BMATRIX END_BBMATRIX END_VMATRIX END_VVMATRIX END_CASES END_ARRAY END_ALIGN END_ALIGNAT END_SMALLMATRIX
|
|
%token LEFT RIGHT
|
|
%type <Tex.t list> tex_expr
|
|
%start tex_expr
|
|
|
|
%%
|
|
tex_expr:
|
|
expr EOF { $1 }
|
|
| ne_expr FUN_INFIX ne_expr EOF
|
|
{ [TEX_INFIX($2,$1,$3)] }
|
|
| ne_expr FUN_INFIXh ne_expr EOF
|
|
{ let t,h=$2 in [TEX_INFIXh(t,h,$1,$3)] }
|
|
expr:
|
|
/* */ { [] }
|
|
| ne_expr { $1 }
|
|
ne_expr:
|
|
lit_aq expr { $1 :: $2 }
|
|
| litsq_aq expr { $1 :: $2 }
|
|
| DECLh expr { let t,h = $1 in [TEX_DECLh(t,h,$2)] }
|
|
litsq_aq:
|
|
litsq_zq { $1 }
|
|
| litsq_dq { let base,downi = $1 in TEX_DQ(base,downi) }
|
|
| litsq_uq { let base,upi = $1 in TEX_UQ(base,upi)}
|
|
| litsq_fq { $1 }
|
|
litsq_fq:
|
|
litsq_dq SUP lit { let base,downi = $1 in TEX_FQ(base,downi,$3) }
|
|
| litsq_uq SUB lit { let base,upi = $1 in TEX_FQ(base,$3,upi) }
|
|
litsq_uq:
|
|
litsq_zq SUP lit { $1,$3 }
|
|
litsq_dq:
|
|
litsq_zq SUB lit { $1,$3 }
|
|
litsq_zq:
|
|
SQ_CLOSE { TEX_LITERAL sq_close_ri }
|
|
expr_nosqc:
|
|
/* */ { [] }
|
|
| lit_aq expr_nosqc { $1 :: $2 }
|
|
lit_aq:
|
|
lit { $1 }
|
|
| lit_dq { let base,downi = $1 in TEX_DQ(base,downi) }
|
|
| lit_uq { let base,upi = $1 in TEX_UQ(base,upi)}
|
|
| lit_dqn { TEX_DQN($1) }
|
|
| lit_uqn { TEX_UQN($1) }
|
|
| lit_fq { $1 }
|
|
|
|
lit_fq:
|
|
lit_dq SUP lit { let base,downi = $1 in TEX_FQ(base,downi,$3) }
|
|
| lit_uq SUB lit { let base,upi = $1 in TEX_FQ(base,$3,upi) }
|
|
| lit_dqn SUP lit { TEX_FQN($1, $3) }
|
|
|
|
lit_uq:
|
|
lit SUP lit { $1,$3 }
|
|
lit_dq:
|
|
lit SUB lit { $1,$3 }
|
|
lit_uqn:
|
|
SUP lit { $2 }
|
|
lit_dqn:
|
|
SUB lit { $2 }
|
|
|
|
|
|
left:
|
|
LEFT DELIMITER { $2 }
|
|
| LEFT SQ_CLOSE { sq_close_ri }
|
|
right:
|
|
RIGHT DELIMITER { $2 }
|
|
| RIGHT SQ_CLOSE { sq_close_ri }
|
|
lit:
|
|
LITERAL { TEX_LITERAL $1 }
|
|
| DELIMITER { TEX_LITERAL $1 }
|
|
| BIG DELIMITER { TEX_BIG ($1,$2) }
|
|
| BIG SQ_CLOSE { TEX_BIG ($1,sq_close_ri) }
|
|
| left expr right { TEX_LR ($1,$3,$2) }
|
|
| FUN_AR1 lit { TEX_FUN1($1,$2) }
|
|
| FUN_AR1nb lit { TEX_FUN1nb($1,$2) }
|
|
| FUN_AR1hl lit { let t,h=$1 in TEX_FUN1hl(t,h,$2) }
|
|
| FUN_AR1hf lit { let t,h=$1 in TEX_FUN1hf(t,h,$2) }
|
|
| FUN_AR1opt expr_nosqc SQ_CLOSE lit { TEX_FUN2sq($1,TEX_CURLY $2,$4) }
|
|
| FUN_AR2 lit lit { TEX_FUN2($1,$2,$3) }
|
|
| FUN_AR2nb lit lit { TEX_FUN2nb($1,$2,$3) }
|
|
| FUN_AR2h lit lit { let t,h=$1 in TEX_FUN2h(t,h,$2,$3) }
|
|
| BOX { let bt,s = $1 in TEX_BOX (bt,s) }
|
|
| CURLY_OPEN expr CURLY_CLOSE
|
|
{ TEX_CURLY $2 }
|
|
| CURLY_OPEN ne_expr FUN_INFIX ne_expr CURLY_CLOSE
|
|
{ TEX_INFIX($3,$2,$4) }
|
|
| CURLY_OPEN ne_expr FUN_INFIXh ne_expr CURLY_CLOSE
|
|
{ let t,h=$3 in TEX_INFIXh(t,h,$2,$4) }
|
|
| BEGIN__MATRIX matrix END__MATRIX { TEX_MATRIX ("matrix", $2) }
|
|
| BEGIN_PMATRIX matrix END_PMATRIX { TEX_MATRIX ("pmatrix", $2) }
|
|
| BEGIN_BMATRIX matrix END_BMATRIX { TEX_MATRIX ("bmatrix", $2) }
|
|
| BEGIN_BBMATRIX matrix END_BBMATRIX { TEX_MATRIX ("Bmatrix", $2) }
|
|
| BEGIN_VMATRIX matrix END_VMATRIX { TEX_MATRIX ("vmatrix", $2) }
|
|
| BEGIN_VVMATRIX matrix END_VVMATRIX { TEX_MATRIX ("Vmatrix", $2) }
|
|
| BEGIN_ARRAY matrix END_ARRAY { TEX_MATRIX ("array", $2) }
|
|
| BEGIN_ALIGN matrix END_ALIGN { TEX_MATRIX ("aligned", $2) }
|
|
| BEGIN_ALIGNAT matrix END_ALIGNAT { TEX_MATRIX ("alignedat", $2) }
|
|
| BEGIN_SMALLMATRIX matrix END_SMALLMATRIX { TEX_MATRIX ("smallmatrix", $2) }
|
|
| BEGIN_CASES matrix END_CASES { TEX_MATRIX ("cases", $2) }
|
|
matrix:
|
|
line { [$1] }
|
|
| line NEXT_ROW matrix { $1::$3 }
|
|
line:
|
|
expr { [$1] }
|
|
| expr NEXT_CELL line { $1::$3 }
|
|
;;
|