Browse thread
index of substring
-
yjc01@d...
- Matt Gushee
-
Radu Grigore
-
skaller
- Jean-Christophe Filliatre
-
skaller
- Oliver Bandel
- Xavier Leroy
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2005-01-27 (10:20) |
From: | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...> |
Subject: | Re: [Caml-list] index of substring |
skaller writes: > > > > Ocamllex is definitely the easiest. > > however by itself this will not supported nested > comments which Ocaml allows .. :) What's wrong with this way of handling nested comments with ocamllex: ====================================================================== | "(*" { comment lexbuf; ... } ... and comment = parse | "(*" { comment lexbuf; comment lexbuf } | "*)" { () } | _ { comment lexbuf } ====================================================================== (I may have misunderstood the issue here, since I didn't follow this thread in details...) -- Jean-Christophe