Re: gtk3

Olivier Andrieu <[email protected]> Tue, 29 Jan 2013 14:59:11 +0100

Newsgroups	gmane.comp.lang.ocaml.lib.gtk
Message-ID	<CAD5gH1HwUEPFg1-EGEBgTFPPLiFTHqFFuosxTcB5iwdi=ENa-A@mail.gmail.com>

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 ?

-- 
  Olivier