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: | -- (:) |
| 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