caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Type Error in OCaml Code
@ 2022-01-14 18:57 mukesh tiwari
  2022-01-15 21:19 ` Nicolás Ojeda Bär
  0 siblings, 1 reply; 37+ messages in thread
From: mukesh tiwari @ 2022-01-14 18:57 UTC (permalink / raw)
  To: caml users

[-- Attachment #1: Type: text/plain, Size: 1162 bytes --]

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/

[-- Attachment #2: Type: text/html, Size: 1617 bytes --]

^ permalink raw reply	[flat|nested] 37+ messages in thread

end of thread, back to index

Thread overview: 37+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-14 18:57 [Caml-list] Type Error in OCaml Code mukesh tiwari
2022-01-15 21:19 ` Nicolás Ojeda Bär
2022-01-16  9:40   ` [Caml-list] Ask questions on the mailing lists too orbifx
2022-01-16 14:32     ` Sam Kuper
2022-01-17  9:20       ` Sébastien Hinderer
2022-01-17  9:34         ` Daniil Baturin
2022-01-17 14:30           ` Sam Kuper
2022-01-17 14:56             ` Daniil Baturin
2022-01-17 17:36               ` Sam Kuper
2022-01-17 21:08                 ` Gabriel Scherer
2022-01-18  1:51                   ` Sam Kuper
2022-01-19 15:46                     ` Sébastien Hinderer
2022-01-18  9:49                   ` orbifx
2022-01-18 15:55                     ` Simon Cruanes
2022-01-19 16:31                       ` Sébastien Hinderer
2022-01-19 17:55                         ` Sam Kuper
2022-01-19 18:09                           ` Sam Kuper
2022-01-19 19:09                             ` Sébastien Hinderer
2022-01-19 20:53                               ` Sam Kuper
2022-01-19 18:43                           ` Simon Cruanes
2022-01-19 19:03                           ` Sébastien Hinderer
2022-01-19 20:50                             ` Sam Kuper
2022-01-20 20:56                         ` Edwin Török
2022-03-11  8:46                           ` Sébastien Hinderer
2022-03-11  9:38                             ` Vasilis Goumas
2022-03-11  9:43                               ` Gabriel Scherer
2022-01-19 15:33                   ` Sébastien Hinderer
2022-01-19 21:43                     ` Gabriel Scherer
2022-01-19 22:02                       ` Sam Kuper
2022-01-19 22:38                         ` Sébastien Hinderer
     [not found]                 ` <50AF4FEF-5CD6-40E7-9FA3-78814CBEE230@etorok.eu>
2022-01-17 22:47                   ` Sam Kuper
2022-01-17  9:54         ` Alan Schmitt
2022-01-17 13:53           ` Sam Kuper
2022-01-19 15:18             ` Sébastien Hinderer
2022-01-19 15:54           ` Sébastien Hinderer
2022-01-20  9:13             ` Alan Schmitt
     [not found]             ` <87pmom7sz7.fsf@m4x.org>
2022-01-20 14:16               ` Sébastien Hinderer

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox