Hi everyone,
My Coq project depends on a OCaml library [1] --the original library [2]-- which used to compile without any error in the past, but now it's no more. If you run 'make all' in the ocaml-java directory, it throws an error 'This expression has type Parsetree.pattern
but an expression was expected of type
Migrate_parsetree.Ast_406.Parsetree.pattern'
Could someone please tell me how to get rid of this error? (To me it seems like some code restructuring in ocaml-migrate-parsetree).
Best,
Mukesh
ocaml-java git:(master) ✗ make all
File "ppx/ast_tools.ml", line 31, characters 36-55:
31 | let mk_let id expr = [%stri let [%p Pat.var (mk_loc id)] = [%e expr]]
^^^^^^^^^^^^^^^^^^^
Error: This expression has type Parsetree.pattern
but an expression was expected of type
Migrate_parsetree.Ast_406.Parsetree.pattern
make[1]: *** [bin/ppx/ast_tools.cmo] Error 2
make: *** [bin/ocaml-java-ppx] Error 2