[Caml-list] Segfault with open GADTs

[Andre Nathan <andre@digirati.com.br>]

[-- Attachment #1.1: Type: text/plain, Size: 884 bytes --]

Hi

I'm trying to use extensible variants to allow users to extend a type
from my library, which is a GADT, but it's resulting in a segfault when
the program is executed. I've managed to reproduce the issue with this code:

  module M0 = struct
    type 'a t = ..
    type 'a t +=
      | I : int -> int t
      | S : string -> string t
      | P : 'a t * 'b t -> ('a * 'b) t

    let rec to_string : type a. a t -> string = function
      | I i -> "I:" ^ string_of_int i
      | S s -> "S:" ^ s
      | P (x, y) -> to_string x ^ to_string y
  end

  module M1 = struct
    include M0
    type 'a t += T : 'a t -> 'a t

    let to_string = function
      | T t -> to_string t
      | x -> to_string x
  end

  let () =
    print_endline @@ M1.to_string (M1.P (M1.T (M1.I 42), M1.S "foo"))


Is this sort of thing supposed to work?

Thanks,
Andre


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 473 bytes --]