X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Ftools%2Fucs2_to_utf8%2Flexer.mll;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Ftools%2Fucs2_to_utf8%2Flexer.mll;h=0000000000000000000000000000000000000000;hp=dfbeb5ad12533401f273bc55f60c602949ae454f;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

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
index dfbeb5ad1..000000000
--- 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 }