]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/transcript/v8Lexer.mll
Fixed a call to auto, and commented the remaining part.
[helm.git] / helm / software / components / binaries / transcript / v8Lexer.mll
index cddb728bd49b7044cf8b27dcfa4c4794077deed4..0fea9c9eba0eb47b4caa9eb61f0b63ef2088d524 100644 (file)
@@ -5,7 +5,7 @@
 }
 
 let QT    = '"'
-let SPC   = [' ' '\t' '\n']+
+let SPC   = [' ' '\t' '\n' '\r']+
 let ALPHA = ['A'-'Z' 'a'-'z' '_']
 let FIG   = ['0'-'9']
 let ID    = ALPHA (ALPHA | FIG | "\'")*
@@ -56,6 +56,7 @@ rule token = parse
    | RAWID         { let s = Lexing.lexeme lexbuf in out "STR" s; P.STR s    }
    | NUM           { let s = Lexing.lexeme lexbuf in out "INT" s; P.INT s    }
    | ":="          { let s = Lexing.lexeme lexbuf in out "DEF" s; P.DEF s    }
+   | ":>"          { let s = Lexing.lexeme lexbuf in out "COE" s; P.COE s    }
    | "." ID        { let s = Lexing.lexeme lexbuf in out "AC" s; P.AC s      }
    | "." SPC       { let s = Lexing.lexeme lexbuf in out "FS" s; P.FS s      }
    | "." eof       { let s = Lexing.lexeme lexbuf in out "FS" s; P.FS s      }