====
let g (x:'a) =
let module S =
Set.Make(struct
type t = Obj.t
let compare = Pervasives.compare
let equal = ( = )
end)
in
(Obj.magic (S.elements (S.singleton (Obj.repr x))) : 'a list)
(* less efficient but using Obj.obj instead of Obj.magic: *)
(* List.rev (S.fold (fun o acc -> (Obj.obj o:'a) :: acc) (S.singleton (Obj.repr x)) []) *)
====
Note that:
1) I'm pretty sure someone who initials are XL will be unhappy with such a solution
2) For a real-world application [*], I prefer to leave a known bug instead of fixing it using such a solution... And either waiting for a solution without Obj or waiting for a future day where our software will require ocaml 3.12
--
Julien