upgrade to ocaml 5.3.0 and reason 3.17

.github/workflows/main.yml

@@ -39,7 +39,7 @@ jobs:
           docker pull ${NGINX_IMAGE_LATEST} || true
       - name: Build images
         run: |
-          docker-compose -f docker-compose.yml -f docker-compose.prod.yml build
+          docker compose -f docker-compose.yml -f docker-compose.prod.yml build
       - name: Push images
         run: |
           docker push ${AUTH_IMAGE}
@@ -105,5 +105,5 @@ jobs:
             docker pull $AUTH_IMAGE
             docker pull $MIGRATION_IMAGE
             docker pull $NGINX_IMAGE
-            docker-compose -f docker-compose.yml -f docker-compose.prod.yml up --no-build -d
-          ENDSSH
+            docker compose -f docker-compose.yml -f docker-compose.prod.yml up --no-build -d
+          ENDSSH

client/src_editor/CompilerVersion.re

@@ -1,21 +1,25 @@
 type t =
   | V4_06
-  | V4_13_1;
+  | V4_13_1
+  | V5_3_0;
 
-let current = V4_13_1;
+let current = V5_3_0;
 
 let ofDbString =
   fun
   | "4.06" => V4_06
   | "4.13.1" => V4_13_1
+  | "5.3.0" => V5_3_0
   | _ => V4_06;
 
 let toDbString =
   fun
   | V4_06 => "4.06"
-  | V4_13_1 => "4.13.1";
+  | V4_13_1 => "4.13.1"
+  | V5_3_0 => "5.3.0";
 
 let toUiString =
   fun
   | V4_06 => "4.06"
-  | V4_13_1 => "4.13.1";
+  | V4_13_1 => "4.13.1"
+  | V5_3_0 => "5.3.0";

client/src_worker/Toplevel.re

@@ -63,10 +63,14 @@ module Types = {
   [@bs.new] [@bs.module]
   external make_413: unit => Worker.worker = "./Toplevel_Worker_4_13.bs.js";
 
+  [@bs.new] [@bs.module]
+  external make_5_3_0: unit => Worker.worker = "./Toplevel_Worker_5_3_0.bs.js";
+
   let make = (~compilerVersion) => {
     switch (compilerVersion) {
     | CompilerVersion.V4_06 => make_406()
     | V4_13_1 => make_413()
+    | V5_3_0 => make_5_3_0()
     };
   };
 };

client/src_worker/Toplevel_Consumer.re

@@ -3,6 +3,7 @@ open Toplevel.Types;
 let timeoutSeconds = ref(180);
 let toplevelWorker406 = ref(None);
 let toplevelWorker413 = ref(None);
+let toplevelWorker5_3_0 = ref(None);
 
 module MapStr = Belt.MutableMap.String;
 
@@ -70,6 +71,7 @@ let getWorkerRef = (~compilerVersion) =>
   switch (compilerVersion) {
   | CompilerVersion.V4_06 => toplevelWorker406
   | V4_13_1 => toplevelWorker413
+  | V5_3_0 => toplevelWorker5_3_0
   };
 
 let getWorker = (~compilerVersion) => {

client/src_worker/Toplevel_Worker_5_3_0.re

@@ -0,0 +1,32 @@
+open Toplevel.Types;
+open Toplevel.Worker;
+
+[@bs.module] external toplevelPath: string = "../public/toplevel_5_3_0.js";
+importScripts(toplevelPath);
+
+postMessageFromWorker({w_id: "ready", w_message: Ready});
+
+module Analyze = Worker_Analyze.Make(Worker_BrowserEvaluator);
+module Refmt = Worker_Refmt.Make(Worker_BrowserEvaluator);
+
+self->onMessageFromTop(event => {
+  let {t_id, t_message} = event##data;
+  let result =
+    switch (t_message) {
+    | Execute(lang, blocks, links) =>
+      ExecuteResult(
+        Belt.Result.Ok(Analyze.executeMany(. lang, blocks, links)),
+      )
+    | Refmt(lang, blocks) =>
+      RefmtResult(Belt.Result.Ok(Refmt.refmtMany(lang, blocks)))
+    | ExecuteEmbed(lang, code) =>
+      let result = Analyze.executeEmbed(. lang, code);
+      ExecuteEmbedResult(Belt.Result.Ok(result));
+    | LoadScript(string) =>
+      try(importScripts(string)) {
+      | Js.Exn.Error(exn) => Js.log(exn)
+      };
+      LoadScriptResult;
+    };
+  postMessageFromWorker({w_id: t_id, w_message: result});
+});

client/webpack.config.js

@@ -79,7 +79,8 @@ const base = {
           file.endsWith(".worker.js") ||
           file.endsWith("Worker_Index.bs.js") ||
           file.endsWith("Toplevel_Worker_4_06.bs.js") ||
-          file.endsWith("Toplevel_Worker_4_13.bs.js"),
+          file.endsWith("Toplevel_Worker_4_13.bs.js") ||
+          file.endsWith("Toplevel_Worker_5_3_0.bs.js"),
         exclude: ["public"],
         use: { loader: "worker-loader" },
       },
@@ -121,7 +122,7 @@ const base = {
         ],
       },
       {
-        test: /\.(png|jpg|gif)$|toplevel_4_06.js|toplevel_4_13.js$/,
+        test: /\.(png|jpg|gif)$|toplevel_4_06.js|toplevel_4_13.js|toplevel_5_3_0.js$/,
         loader: "file-loader?name=[name].[hash].[ext]",
       },
     ],