[Caml-list] CamlP4 bug, 3.08.0

[Caml-list] CamlP4 bug, 3.08.0

[Vitaly Lugovsky]

 Changes in the Lexing.loc definition renders the CamlP4 wide
usage of Stream.count obsolete. But: there is no standard way to
convert int -> loc, and it would be quite a pain to convert all
the files currently using Stream.count. Is there anybody working
on this problem already?


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] CamlP4 bug, 3.08.0

[Cuihtlauac ALVARADO]

We have such code in Otags (we needed linenumbers and co in the tags
files), I'm working on a port for ocaml 3.08.0 I'll try to make this
library stand alone.

On Wed, Jul 21, 2004 at 02:02:42PM +0400, Vitaly Lugovsky wrote:
> 
>  Changes in the Lexing.loc definition renders the CamlP4 wide
> usage of Stream.count obsolete. But: there is no standard way to
> convert int -> loc, and it would be quite a pain to convert all
> the files currently using Stream.count. Is there anybody working
> on this problem already?
> 
> 
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
> Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

-- 
Cuihtlauac ALVARADO - France Telecom - R&D - +33296053273
2, av Pierre Marzin - 22307 Lannion - France

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] CamlP4 bug, 3.08.0

[Vitaly Lugovsky]

On Mon, 26 Jul 2004, Cuihtlauac ALVARADO wrote:

> We have such code in Otags (we needed linenumbers and co in
> the tags
> files), I'm working on a port for ocaml 3.08.0 I'll try to
> make this
> library stand alone.

 Can I see this code ASAP? I'm a maintainer of a set of the OCaml
packages in the ALT Linux distribution, and this changes blocked
some of the very urgent packages (e.g. Coq 8.0)...


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] CamlP4 bug, 3.08.0

[Xavier Leroy]

>  Can I see this code ASAP? I'm a maintainer of a set of the OCaml
> packages in the ALT Linux distribution, and this changes blocked
> some of the very urgent packages (e.g. Coq 8.0)...

I've heard through the grapevine that the development version of Coq
has already been adapted to work with OCaml 3.08 and the new Camp4
locations.  Maybe it's easier to ask the Coq developers for a set of
patches, or extract them through the Coq anonymous CVS.

- Xavier Leroy

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] CamlP4 bug, 3.08.0

[Vitaly Lugovsky]

On Mon, 26 Jul 2004, Xavier Leroy wrote:

> I've heard through the grapevine that the development version
> of Coq
> has already been adapted to work with OCaml 3.08 and the new
> Camp4
> locations.  Maybe it's easier to ask the Coq developers for a
> set of
> patches, or extract them through the Coq anonymous CVS.

 Ok. Thank you, I will try it. But the problem with the
completely unusable code generated by the default CamlP4
installation will remain?


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners