Re: gtk3
Maxence Guesdon <[email protected]> Tue, 29 Jan 2013 15:02:52 +0100
| Newsgroups | gmane.comp.lang.ocaml.lib.gtk |
|---|---|
| Organization | INRIA |
| Message-ID | <20130129150252.7f54db48@alcazar> |
On Tue, 29 Jan 2013 14:59:11 +0100 Olivier Andrieu <[email protected]> wrote: > On Mon, Jan 28, 2013 at 2:15 PM, Maxence Guesdon > <[email protected]> wrote: > > Ok, I had not seen Jacques pushed new changes :-/ > > I don't think maintaining an XML parser in lablgtk sources is a good > > idea, so I still advocate on using Xmlm. > > I agree that xml-light is pretty horrible :) > But lablgtk already has an XML lexer in src/xml_lexer.mll. > It seems easier to modify this and make it build the same > datastructure as Xml-light than > adapt the code to a different parser, no ? Well, I think we should remove xml_lexer too and use Xmlm, so that we concentrate on gtk bindings. :-) -- Maxence