diff options
Diffstat (limited to 'lex/syntax.mli')
| -rw-r--r-- | lex/syntax.mli | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/lex/syntax.mli b/lex/syntax.mli deleted file mode 100644 index 368a5d0ba8..0000000000 --- a/lex/syntax.mli +++ /dev/null @@ -1,41 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -(* The shallow abstract syntax *) - -type location = - { start_pos: int; - end_pos: int; - start_line: int; - start_col: int } - -type regular_expression = - Epsilon - | Characters of Cset.t - | Eof - | Sequence of regular_expression * regular_expression - | Alternative of regular_expression * regular_expression - | Repetition of regular_expression - | Bind of regular_expression * string - -type ('arg,'action) entry = - {name:string ; - shortest : bool ; - args : 'arg ; - clauses : (regular_expression * 'action) list} - -type lexer_definition = - { header: location; - entrypoints: ((string list, location) entry) list; - trailer: location } |