1 files changed, 0 insertions, 120 deletions
diff --git a/lex/parser.mly b/lex/parser.mly
deleted file mode 100644
index e8851df101..0000000000
--- a/lex/parser.mly
+++ /dev/null
@@ -1,120 +0,0 @@
-/* The grammar for lexer definitions */
-
-%{
-open Syntax
-
-(* Auxiliaries for the parser. *)
-
-let regexp_for_string s =
-  let rec re_string n =
-    if n >= String.length s then Epsilon
-    else if succ n = String.length s then Characters([s.[n]])
-    else Sequence(Characters([s.[n]]), re_string (succ n))
-  in re_string 0
-
-let char_class c1 c2 =
-  let rec class n =
-    if n > (Char.code c2) then [] else (Char.chr n) :: class(succ n)
-  in class (Char.code c1)
-
-let all_chars = char_class (Char.chr 1) (Char.chr 255)
-
-let rec subtract l1 l2 =
-  match l1 with
-    [] -> []
-  | a::r -> if List.mem a l2 then subtract r l2 else a :: subtract r l2
-%}
-
-%token <string> Tident
-%token <char> Tchar
-%token <string> Tstring
-%token <Syntax.location> Taction
-%token Trule Tparse Tand Tequal Tend Tor Tunderscore Teof Tlbracket Trbracket
-%token Tstar Tmaybe Tplus Tlparen Trparen Tcaret Tdash
-
-%left Tor
-%left CONCAT
-%nonassoc Tmaybe
-%left Tstar
-%left Tplus
-
-%start lexer_definition
-%type <Syntax.lexer_definition> lexer_definition
-
-%%
-
-lexer_definition:
-    header Trule definition other_definitions Tend
-        { Lexdef($1, $3::(List.rev $4)) }
-;
-header:
-    Taction
-        { $1 }
-  |
-        { Location(0,0) }
-;
-other_definitions:
-    other_definitions Tand definition
-        { $3::$1 }
-  |     
-        { [] }
-;
-definition:
-    Tident Tequal entry
-        { ($1,$3) }
-;
-entry:
-    Tparse case rest_of_entry
-        { $2::List.rev $3 }
-;
-rest_of_entry:
-    rest_of_entry Tor case
-        { $3::$1 }
-  |
-        { [] }
-;
-case:
-    regexp Taction
-        { ($1,$2) }
-;
-regexp:
-    Tunderscore
-        { Characters all_chars }
-  | Teof
-        { Characters ['\000'] }
-  | Tchar
-        { Characters [$1] }
-  | Tstring
-        { regexp_for_string $1 }
-  | Tlbracket char_class Trbracket
-        { Characters $2 }
-  | regexp Tstar
-        { Repetition $1 }
-  | regexp Tmaybe
-        { Alternative($1, Epsilon) }
-  | regexp Tplus
-        { Sequence($1, Repetition $1) }
-  | regexp Tor regexp
-        { Alternative($1,$3) }
-  | regexp regexp %prec CONCAT
-        { Sequence($1,$2) }
-  | Tlparen regexp Trparen
-        { $2 }
-;
-char_class:
-    Tcaret char_class1
-        { subtract all_chars $2 }
-  | char_class1
-        { $1 }
-;
-char_class1:
-    Tchar Tdash Tchar
-        { char_class $1 $3 }
-  | Tchar
-        { [$1] }
-  | char_class1 char_class1 %prec CONCAT
-        { $1 @ $2 }
-;
-
-%%
-