← Back to team overview

marionnet-dev team mailing list archive

Re: [Bug 1684507] Re: Gettext function f_ calls Obj.magic on a format string

 

The bug fix is now in the repository (ocamlbricks).
Merci Stéphane,
Jean-Vincent

Le 20/04/2017 à 11:13, Stéphane Glondu a écrit :
> Since ocaml 4.02.0, format strings are no longer strings internally,
>   but a more complex datatype based on GADTs. Therefore, f_ now triggers
>   a segmentation fault.
>
>   To convert a string to a format string, one has to use
>   Scanf.format_from_string.

-- 
You received this bug notification because you are a member of
marionnet-dev, which is subscribed to marionnet.
https://bugs.launchpad.net/bugs/1684507

Title:
  Gettext function f_ calls Obj.magic on a format string

Status in marionnet:
  New
Status in ocamlbricks:
  New

Bug description:
  Hello,

  In Debian, Marionnet is currently broken. A bug has been submitted:

    https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=860405

  This is due to the f_ function of Gettext_builder calling Obj.magic on
  a format string:

    http://bazaar.launchpad.net/~marionnet-
  drivers/ocamlbricks/trunk/view/head:/GETTEXT/gettext_builder.ml#L61

  Since ocaml 4.02.0, format strings are no longer strings internally,
  but a more complex datatype based on GADTs. Therefore, f_ now triggers
  a segmentation fault.

  To convert a string to a format string, one has to use
  Scanf.format_from_string.

To manage notifications about this bug go to:
https://bugs.launchpad.net/marionnet/+bug/1684507/+subscriptions


References