This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / DEVEL / pxp / pxp / tools / ucs2_to_utf8 / lexer.mll

diff --git a/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/lexer.mll b/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/lexer.mll
deleted file mode 100644 (file)
index dfbeb5a..0000000
--- a/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/lexer.mll
+++ /dev/null
@@ -1,43 +0,0 @@
-{
-(******************************************************)
-(*    Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>   *)
-(*                   14/05/2000                       *)
-(******************************************************)
-
-open Parser
-
-let comment_depth = ref 0;;
-
-let charint_of_lexeme l =
- String.set l 0 '0' ;
- int_of_string l
-;;
-}
-
-let digit = ['0'-'9']|['A'-'F']
-
-rule token =
- parse
-    [' ' '\t' '\n']                           { token lexbuf }
-  | "let"                                     { LET }
-  | (['a'-'z']|'_')(['a'-'z']|['A'-'Z']|'_'|['0'-'9']|'\'')*
-                                              { IDENT (Lexing.lexeme lexbuf) }
-  | '='                                       { EQ }
-  | ";;"                                      { END_OF_LET }
-  | "|"                                       { PIPE }
-  | '['                                       { LBRACKET }
-  | ']'                                       { RBRACKET }
-  | '-'                                       { RANGE }
-  | "(*"                                      { incr comment_depth ;
-                                                comment lexbuf
-                                              }
-  | "#x" digit digit digit digit              { CHAR (charint_of_lexeme (Lexing.lexeme lexbuf)) }
-  | eof                                       { EOF }
-
-and comment =
- parse
-    "(*" { incr comment_depth ; comment lexbuf }
-  | "*)" { decr comment_depth ;
-           if !comment_depth = 0 then token lexbuf else comment lexbuf
-         }
-  | _    { comment lexbuf }