diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 1996-11-08 13:37:58 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 1996-11-08 13:37:58 +0000 |
| commit | 8f2493e35f23dd63d2ea9aa2bbe7609e30d6c2db (patch) | |
| tree | e1adf158cf4cf8cad92dee5127b79113feee777e | |
| parent | 29bf689759bb8fdffbc03caa2924e20c1530eb9e (diff) | |
Correction d'erreurs dans l'analyse lexicale des commentaires et des
caracte`res.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1178 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | stdlib/genlex.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stdlib/genlex.ml b/stdlib/genlex.ml index 3c28e88dc..1ae44366e 100644 --- a/stdlib/genlex.ml +++ b/stdlib/genlex.ml @@ -145,7 +145,8 @@ let make_lexer keywords = | [< ' 't' >] -> '\t' | [< ' '0'..'9' as c1; ' '0'..'9' as c2; ' '0'..'9' as c3 >] -> Char.chr((Char.code c1 - 48) * 100 + - (Char.code c2 - 48) * 10 + (Char.code c3)) + (Char.code c2 - 48) * 10 + + (Char.code c3 - 48)) | [< ' c >] -> c and maybe_comment = parser @@ -163,6 +164,7 @@ let make_lexer keywords = and maybe_end_comment = parser [< ' ')' >] -> () + | [< ' '*'; s >] -> maybe_end_comment s | [< ' c; s >] -> comment s in fun input -> Stream.from (fun count -> next_token input) |