Achieve compatibility with ppxlib 0.22.0

In ppxlib 0.22.0, the AST gets bumped to ocaml 4.12. This commit adapts to the compiler changes from 4.11 to 4.12: mainly, the introduction of injectivity to type declarations. Signed-off-by: Sonja Heinze <[email protected]>
janestreet · Jan 28, 2021 · 291fd9b · 291fd9b
1 parent 7ba6144
commit 291fd9b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/expander/str_generate_sexp_grammar.ml b/expander/str_generate_sexp_grammar.ml
@@ -604,7 +604,7 @@ let singleton ~loc ~path core_type : t =
     let type_variables, core_type =
       collect_type_variables_of_polymorphic_grammar core_type
     in
-    ( List.map type_variables ~f:(fun var_name -> ptyp_var ~loc var_name, Invariant)
+    ( List.map type_variables ~f:(fun var_name -> ptyp_var ~loc var_name, (NoVariance, NoInjectivity))
     , core_type )
   in
   let td =