github issue

README.md

@@ -322,7 +322,7 @@ type (_, 'b) snd = Snd of 'b [@@unboxed]
 It should not incur any extra performance cost as it is unboxed, but can appear
 when manipulating non-generic maps.
 
-For more details about this issue, see [the OCaml discourse discussion](https://discuss.ocaml.org/t/weird-behaviors-with-first-order-polymorphism/13783).
+For more details about this issue, see [the OCaml discourse discussion](https://discuss.ocaml.org/t/weird-behaviors-with-first-order-polymorphism/13783) or [the github issue](https://github.com/ocaml/ocaml/issues/13292).
 
 ## Comparison to other OCaml libraries
 

src/index.mld

@@ -419,7 +419,8 @@ type (_, 'b) snd = Snd of 'b [@@unboxed]
 It should not incur any extra performance cost as it is unboxed, but can appear
 when manipulating non-generic maps.
 
-For more details about this issue, see {{: https://discuss.ocaml.org/t/weird-behaviors-with-first-order-polymorphism/13783}the OCaml discourse discussion}.
+For more details about this issue, see {{: https://discuss.ocaml.org/t/weird-behaviors-with-first-order-polymorphism/13783}the OCaml discourse discussion}
+or {{: https://github.com/ocaml/ocaml/issues/13292}the github issue}.
 
 {1 Comparison to other OCaml libraries}
 

src/key_value.mli

@@ -34,7 +34,8 @@ module WrappedHomogeneousValue : HETEROGENEOUS_VALUE with type ('a,'map) t = ('a
 (** Same as {!HomogeneousValue}, but uses a wrapper (unboxed) type instead of direct
     equality. This avoids a problem in the typechecker with overly eager simplification of aliases.
     More info on
-    {{: https://discuss.ocaml.org/t/weird-behaviors-with-first-order-polymorphism/13783} the OCaml discourse post}. *)
+    {{: https://discuss.ocaml.org/t/weird-behaviors-with-first-order-polymorphism/13783} the OCaml discourse post}
+    and {{: https://github.com/ocaml/ocaml/issues/13292}the github issue}. *)
 
 module HashedValue : HASHED_VALUE with type 'a t = 'a
 (** Generic implementation of {!HASHED_VALUE}.

src/signatures.ml

@@ -797,7 +797,8 @@ end
     Since the type is unboxed, it doesn't introduce any performance overhead.
 
     This is due to a bug in the typechecker, more info on
-    {{: https://discuss.ocaml.org/t/weird-behaviors-with-first-order-polymorphism/13783} the OCaml discourse post}. *)
+    {{: https://discuss.ocaml.org/t/weird-behaviors-with-first-order-polymorphism/13783} the OCaml discourse post}
+    and {{: https://github.com/ocaml/ocaml/issues/13292}the github issue}. *)
 type (_, 'b) snd = Snd of 'b [@@unboxed]