[WIP] upgrade to OCaml 5 by kimmywork · Pull Request #199 · akabe/ocaml-jupyter

kimmywork · 2023-03-21T14:21:56Z

No description provided.

kimmywork · 2023-03-21T18:25:35Z

Hey @akabe
I've tried to upgrade ocaml version to 5.0.0, passed the compile but there are few test cases still failing.

One of the reasons should be following deprecations:

Alert ocaml_deprecated_auto_include:
OCaml's lib directory layout changed in 5.0. The str subdirectory has been
automatically added to the search path, but you should add -I +str to the
command-line to silence this alert (e.g. by adding str to the list of
libraries in your dune file, or adding use_str to your _tags file for
ocamlbuild, or using -package str for ocamlfind).

Affected test cases:

Evaluation.eval.directive which loads str.cma
Merlin.complete which loads unix.cma

Another reason is related to the toplevel change, and it doesn't accept #require directives. Affected test cases

Evaluation.eval.ppx which #require "ppx_deriving.show"

I've commented out these test cases and need your help on the details to fix these for OCaml 5.

akabe

@kimmywork Thank you for creating a patch for OCaml 5. OCaml 5 had many disruptive changes and I skipped responding to them. I suggest ideas for solving the issue of Test_evaluation.test__directive and merlin.

akabe · 2023-03-26T06:33:48Z

 ]
 depends: [
-  "ocaml" {>= "4.10.0" & < "4.15"}
+  "ocaml" {(>= "4.10.0" & < "4.15") | (>= "5.0.0")}


I forget updating the restriction of ocaml versions. I'd like to suggest

"ocaml" {>= "4.10.0"}

because ocaml-jupyter kernel now supports 4.15.
cf. jupyter.2.8.2/opam

akabe · 2023-03-26T06:39:22Z


-let test__directive ctxt =
+(* let test__directive ctxt =
  let status, actual = eval "#load \"str.cma\" ;; Str.regexp \".*\"" in


This test case only checks whether a directive works fine, or not. We can check an other directive, not #load.
In my environment, this patch works.

-(* let test__directive ctxt = - let status, actual = eval "#load \"str.cma\" ;; Str.regexp \".*\"" in +let test__directive ctxt = + let status, actual = eval "#require \"str\" ;; Str.regexp \".*\"" in let expected = [iopub_success ~count:0 "- : Str.regexp = <abstr>\n"] in

akabe · 2023-03-26T06:41:50Z

  let actual = complete merlin code ~pos:15 in
-  require expected actual ~msg:"module" ;
+  require expected actual ~msg:"module" 
+  (* ;


The commented-out lines are not important checks. Could you remove them?

akabe · 2023-03-26T06:43:14Z

@@ -1,3 +1,3 @@
 (-w A-4-31-33-34-39-41-42-43-44-45-48-49-50-58-66
- -safe-string -strict-sequence -strict-formats
+ -safe-string -strict-sequence -strict-formats 


Could you delete a space at the end of line?

akabe · 2023-03-26T06:59:56Z

The issue of ppx is hard maybe. I have not yet been able to find a solution.

In the official OCaml 5, #require "ppx_deriving.show" prints ppx_deriving: package:ppx_deriving.show: option added at the last, but ocaml-jupyter (OCaml 5) does not.

$ ocaml
OCaml version 5.0.0

# #require "ppx_deriving.show";;
/Users/akabe/.opam/5.0.0/lib/result: added to search path
/Users/akabe/.opam/5.0.0/lib/result/result.cma: loaded
/Users/akabe/.opam/5.0.0/lib/ppx_deriving/runtime: added to search path
/Users/akabe/.opam/5.0.0/lib/ppx_deriving/runtime/ppx_deriving_runtime.cma: loaded
/Users/akabe/.opam/5.0.0/lib/ppx_deriving: added to search path
/Users/akabe/.opam/5.0.0/lib/ppx_deriving/./ppx_deriving: activated
/Users/akabe/.opam/5.0.0/lib/ppx_deriving/show: added to search path
ppx_deriving: package:ppx_deriving.show: option added

akabe · 2023-03-26T07:28:53Z

CI fails due to code format. Try make format.

kimmywork · 2023-03-27T16:04:35Z

In the official OCaml 5, #require "ppx_deriving.show" prints ppx_deriving: package:ppx_deriving.show: option added at the last, but ocaml-jupyter (OCaml 5) does not.

Same on my side.

I've fixed the code in your comments above, but just found another issue when running make test.
It seems that all tests passed, but make test still got an error.

Full output:

  ocaml-jupyter git:(ocaml-5) ✗ make test
opam exec -- dune runtest
File "src/completor/merlin.ml", line 85, characters 4-32:
85 |     notifications : string list;
         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 69 [unused-field]: record field notifications is never read.
(However, this field is used to build or mutate values.)
File "tests/repl/eval_util.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/notebook/test_bench.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/completor/test_merlin.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/kernel/fixture.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/kernel/test_zmq_channel.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/completor/test_completor.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/repl/test_evaluation.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/kernel/test_hmac.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/repl/test_process.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/kernel/test_message_channel.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/notebook/test_process.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/kernel/test_kernel.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
File "tests/notebook/test_notebook.pp.ml", line 1:
Warning 70 [missing-mli]: Cannot find interface file.
...
Ran: 3 tests in: 0.12 seconds.
OK
........
Ran: 8 tests in: 0.04 seconds.
OK
....................
Ran: 20 tests in: 0.72 seconds.
OK
File "tests/repl/dune", line 13, characters 0-304:
13 | (alias
14 |  (name   runtest)
15 |  (deps   test_evaluation.bc
16 |          test_process.bc
17 |          ../fixtures/ocamlinit.ml
18 |          ../fixtures/file.bin)
19 |  (action
20 |   (chdir %{project_root}/tests
21 |          (progn
22 |            (run %{dep:test_evaluation.bc})
23 |            (run %{dep:test_process.bc} -runner sequential)))))
...........
Ran: 11 tests in: 0.42 seconds.
OK
make: *** [unit-test] Error 1

kimmywork · 2023-03-27T16:33:32Z

I see, all test_evaluation.bc cases passed but got a segment fault result. all test_process.bc cases failed when closing repl, the subprocess status is Killed by signal -10.

akabe · 2023-04-03T12:21:55Z

@kimmywork Thanks for fixing. I am also aware of the same issue. As it is likely a deep-rooted problem, I anticipate that it will take some time to find a solution, but I will continue my investigation as well. I have been a bit busy lately, so please give me some time.

sheepymeh · 2024-10-12T13:45:15Z

Has there been any progress on this issue?

zhelih · 2025-12-27T23:34:11Z

Thanks a lot for the work, closing this one as #210 was merged.

compile passed

d3ac4c1

kimmywork closed this Mar 21, 2023

kimmywork changed the title ~~compile passed~~ [WIP] upgrade to OCaml 5 Mar 21, 2023

fix test && ignore few test cases

ca95aa0

kimmywork reopened this Mar 21, 2023

remove .python-version file

bb1e79c

akabe requested changes Mar 26, 2023

View reviewed changes

kimmywork added 4 commits March 27, 2023 22:50

remove tail space

b2762de

fix: using require directive instead of load

f90fb1f

fix: remove commented code

1bbef71

update ocaml dependency version

a02c176

akabe mentioned this pull request Aug 16, 2023

Compatibility with Ocaml 5 #202

Closed

clarksmr mentioned this pull request Jan 4, 2025

Textbook cannot be built with OCaml 5 cs3110/textbook#200

Closed

zhelih mentioned this pull request Aug 14, 2025

OCaml 5.2.0 and newer support, including OCaml 5.3.0 #210

Merged

zhelih closed this Dec 27, 2025

Uh oh!

Conversation

kimmywork commented Mar 21, 2023

Uh oh!

kimmywork commented Mar 21, 2023

Uh oh!

akabe left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

akabe commented Mar 26, 2023

Uh oh!

akabe commented Mar 26, 2023

Uh oh!

kimmywork commented Mar 27, 2023

Uh oh!

kimmywork commented Mar 27, 2023

Uh oh!

akabe commented Apr 3, 2023

Uh oh!

sheepymeh commented Oct 12, 2024 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

zhelih commented Dec 27, 2025

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

sheepymeh commented Oct 12, 2024 •

edited

Loading