<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Thanks for confirming the fix -- I just wanted to make sure this wasn't a 4.02 release blocker.<div><br></div><div>Now in OPAM in <a href="https://github.com/ocaml/opam-repository/pull/2545">https://github.com/ocaml/opam-repository/pull/2545</a></div><div><br></div><div>-anil</div><div><br><div><div><div>On 29 Aug 2014, at 15:01, Sylvain Le Gall <<a href="mailto:sylvain+ocaml@le-gall.net">sylvain+ocaml@le-gall.net</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class="gmail_extra"><br class="Apple-interchange-newline"><br><br><div class="gmail_quote">2014-08-29 13:28 GMT+02:00 Mark Shinwell<span class="Apple-converted-space"> </span><span dir="ltr"><<a href="mailto:mshinwell@janestreet.com" target="_blank">mshinwell@janestreet.com</a>></span>:<br><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex;">The problem is the "if true then Obj.magic ..." line. Deleting this<br>seems to make it work, which I assume is the fix in 0.3.5.<br><span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div>Yes.</div><div> </div><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex;"><span class="HOEnZb"><font color="#888888">Mark<br></font></span><div class="HOEnZb"><div class="h5"><br>On 29 August 2014 12:27, Jeremy Yallop <<a href="mailto:yallop@gmail.com">yallop@gmail.com</a>> wrote:<br>> Indeed: the CHANGELOG has the following for 0.3.5:<br>><br>> v 0.3.5 (Mon, 04 Aug 2014 23:31:41 +0200):<br>> * Always use format_of_string to not segfault with OCaml 4.02.<br>><br>> (the segfault was in 0.3.4)<br>><br>><br>> On 29 August 2014 12:19, Mark Shinwell <<a href="mailto:mshinwell@janestreet.com">mshinwell@janestreet.com</a>> wrote:<br>>> Jeremie took one look at this and said it's probably something to do<br>>> with formats...<br>>><br>>> Mark<br>>><br>>> On 29 August 2014 12:17, Anil Madhavapeddy <<a href="mailto:anil@recoil.org">anil@recoil.org</a>> wrote:<br>>>> There's a reproducible segfault in 4.02 only for gettext<br>>>><span class="Apple-converted-space"> </span><a href="https://github.com/ocaml/opam-bulk-logs/blob/master/20140829/roo/4.02.0/raw/gettext#L2351" target="_blank">https://github.com/ocaml/opam-bulk-logs/blob/master/20140829/roo/4.02.0/raw/gettext#L2351</a><br>>>><br>>>> Anyone got time to triage this? I'm out for a few hours so cant immediately. Looks like gettext may be double linking unix.cma, which can't be healthy.<br>>>><br>>>> -anil<br>>>><br>>> _______________________________________________<br>>> opam-devel mailing list<br>>><span class="Apple-converted-space"> </span><a href="mailto:opam-devel@lists.ocaml.org">opam-devel@lists.ocaml.org</a><br>>><span class="Apple-converted-space"> </span><a href="http://lists.ocaml.org/listinfo/opam-devel" target="_blank">http://lists.ocaml.org/listinfo/opam-devel</a><br>_______________________________________________<br>opam-devel mailing list<br><a href="mailto:opam-devel@lists.ocaml.org">opam-devel@lists.ocaml.org</a><br><a href="http://lists.ocaml.org/listinfo/opam-devel" target="_blank">http://lists.ocaml.org/listinfo/opam-devel</a><br></div></div></blockquote></div><br></div></div><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;">_______________________________________________</span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;">opam-devel mailing list</span><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><a href="mailto:opam-devel@lists.ocaml.org" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">opam-devel@lists.ocaml.org</a><br style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><a href="http://lists.ocaml.org/listinfo/opam-devel" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">http://lists.ocaml.org/listinfo/opam-devel</a></blockquote></div><br></div></div></body></html>