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



[1]
https://github.com/mukeshtiwari/EncryptionSchulze/tree/master/code/Workingcode/ocaml-java
[2] https://github.com/Julow/ocaml-java/