diff options
Diffstat (limited to 'math/parser.mly')
| -rw-r--r-- | math/parser.mly | 118 |
1 files changed, 0 insertions, 118 deletions
diff --git a/math/parser.mly b/math/parser.mly deleted file mode 100644 index 29882fb4..00000000 --- a/math/parser.mly +++ /dev/null @@ -1,118 +0,0 @@ -%{ - open Tex - open Render_info - - let sq_close_ri = HTMLABLEC(FONT_UFH,"]", "]") -%} -%token <Render_info.t> LITERAL DELIMITER -%token <string> FUN_AR2 FUN_INFIX FUN_AR1 DECL FUN_AR1opt BIG FUN_AR2nb -%token <string*string> BOX -%token <string*(string*string)> FUN_AR1hl -%token <string*Render_info.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_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 } -;; |