Comment author: @stedolan

Internally, this issue is the same as #7440. When an external is exposed by a signature using "val" rather than "external", it is eta-expanded. In other words, the module:

module Make (A : sig type t end) : sig
  val (=) : A.t -> A.t -> bool
end = struct
  external ( = ) : A.t -> A.t -> bool = "%equal"
end

is internally converted to:

module Make (A : sig type t end) : sig
  val (=) : A.t -> A.t -> bool
end = struct
  external ( eq ) : A.t -> A.t -> bool = "%equal" 
  let (=) a b = eq a b
end

This turns it into the same pattern as #7440.

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.