ocaml-ppx/ppx_import

Not working with deriving for Map

Closed this issue · 2 comments

m.ml

include Base.Map.M(String)

a.ml

module M = struct
  type nonrec 'v t = [%import: 'v M.t] [@@deriving sexp]
  include (M : module type of M with type 'v t = 'v t)
end
type m = string M.t [@@deriving sexp]
File a.ml
Error: Unbound value Base__Map.t_of_sexp

Umm, not sure what you are trying to do, but indeed the error seems legit and unrelated to ppx_import?

Trying to avoid type definition duplication. Probably I miss the way how deriving work, so expected that type definition would be here directly, not refer to Base.Map.t.