From de40fc01d3440d37b36a3e799f09fd5c85967361 Mon Sep 17 00:00:00 2001 From: Corentin Leruth Date: Sun, 5 Feb 2023 07:54:34 +0100 Subject: [PATCH] add test for module type with --- src_test/ppx_deriving/test_ppx_import.ml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src_test/ppx_deriving/test_ppx_import.ml b/src_test/ppx_deriving/test_ppx_import.ml index b8ad8db..c769a7a 100644 --- a/src_test/ppx_deriving/test_ppx_import.ml +++ b/src_test/ppx_deriving/test_ppx_import.ml @@ -54,6 +54,16 @@ type package_type = module type Hashable = [%import: (module Hashtbl.HashedType)] +module type HashableWith = [%import: +(module Hashtbl.HashedType with type t = string)] + +module HashableWith : HashableWith = struct + type t + + let equal = String.equal + let hash = int_of_string +end + [%%import: type self_t = Test_self_import.t] let test_self_import _ctxt =