Re: [Ocamlnet-devel] [ocamlnet] Segfault with ocaml 4.02

[Gerd S. <in...@ge...>]

Am Donnerstag, den 21.08.2014, 16:29 +0200 schrieb Jacques-Pascal
Deplaix:
> Hi,
> 
> As the 4.02 will be released soon, it would be nice to fix this issue 
> before the release.
> Do you have the time to do that ?

Yes, found time today. The fix is in svn, both in trunk and in the onet4
branch (current development). It also avoids camlp4 as dependency now (I
had to rewrite a bunch of parsers to get this). So, I think OCamlnet is
now ready for 4.02 (well, there is no bytes support yet, but this has
clearly more time).

The unit tests pass, but it would be good if this sees a bit more
testing.

Gerd


> 
> Cheers,
> 
> On 04/04/2014 10:59 PM, Gerd Stolpmann wrote:
> > Sorry, haven't found time to look into this.
> >
> > Basically, this is a feature we can turn off completely because Printexc
> > has a similar functionality since a few versions of OCaml now. That
> > means Netexn functions just call Printexc functions.
> >
> > I should also check whether this change bites OCamlnet somewhere else.
> >
> > Gerd
> >
> >
> > Am Mittwoch, den 02.04.2014, 22:42 +0200 schrieb Jacques-Pascal Deplaix:
> >> Any news for that ?
> >>
> >> On 03/19/2014 07:42 PM, Jacques-Pascal Deplaix wrote:
> >>> Hi,
> >>>
> >>> I'm playing with ocaml 4.02 these days and I encountered a segfault
> >>> while using Netexn.to_string_opt line 35 (not directly but that what
> >>> the callstack says).
> >>> That's maybe due to the fact that the representation of exceptions has
> >>> changed (see also: https://github.com/ocsigen/js_of_ocaml/pull/109)
> >>>
> >>> Cheers,
> >>
> >> ------------------------------------------------------------------------------
> >> _______________________________________________
> >> Ocamlnet-devel mailing list
> >> Oca...@li...
> >> https://lists.sourceforge.net/lists/listinfo/ocamlnet-devel
> >>
> 
> 

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    ge...@ge...
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------