marionnet-dev team mailing list archive

[Stéphane Glondu <glondu@xxxxxxxxxx>]

Public bug reported:

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.

** Affects: ocamlbricks
     Importance: Undecided
         Status: New

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

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

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/ocamlbricks/+bug/1684507/+subscriptions