error for wildcard

benbellick · Dec 17, 2024 · fb529c4 · fb529c4
1 parent 9946073
commit fb529c4
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/decoders_deriver.ml b/src/decoders_deriver.ml
@@ -150,6 +150,10 @@ let rec expr_of_typ (typ : core_type)
         "Cannot construct decoder for %s: cannot decode explicitly polymorphic \
          types"
         (string_of_core_type typ)
+  | { ptyp_desc = Ptyp_any; _ } ->
+      Location.raise_errorf ~loc
+        "Cannot construct decoder for %s: cannot decode wildcard in type "
+        (string_of_core_type typ)
   | _ ->
       Location.raise_errorf ~loc "Cannot construct decoder for %s"
         (string_of_core_type typ)

diff --git a/src/encoders_deriver.ml b/src/encoders_deriver.ml
@@ -86,6 +86,10 @@ let rec expr_of_typ (typ : core_type) : expression =
         "Cannot construct encoder for %s: cannot encode explicitly polymorphic \
          types"
         (string_of_core_type typ)
+  | { ptyp_desc = Ptyp_any _; _ } ->
+      Location.raise_errorf ~loc
+        "Cannot construct encoder for %s: cannot encode wildcard in type "
+        (string_of_core_type typ)
   | _ ->
       Location.raise_errorf ~loc "Cannot construct encoder for %s"
         (string_of_core_type typ)