Marple server rebased extension correctif

.github/workflows/binary-releases.yml

@@ -49,7 +49,7 @@ jobs:
         uses: ocaml/setup-ocaml@v2
         with:
           # Version of the OCaml compiler to initialise
-          ocaml-compiler: 4.11.2
+          ocaml-compiler: 4.13.1
 
       - name: Install dependencies
         run: |

.github/workflows/publish_doc.yml

@@ -1,10 +1,11 @@
 name: Publish documentation on GitHub Pages
 
 on:
-  workflow_run:
-    workflows: [binary-releases]
-    types:
-      - completed
+  push:
+    branches:
+      - master
+      - dev
+      - gen-doc # Temporary 
 
 jobs:
   deploy:
@@ -33,7 +34,7 @@ jobs:
         uses: ocaml/setup-ocaml@v2
         with:
           # Version of the OCaml compiler to initialise
-          ocaml-compiler: 4.11.2
+          ocaml-compiler: 4.13.1
 
       - name: Install dependencies
         run: |

Makefile

@@ -39,3 +39,15 @@ clean: FORCE remise_a_zero_versionnage
 	rm -f doc/doc.html
 	rm -rf examples/doc 
 	dune clean
+
+test:
+	_build/default/src/main.exe tests/mlang/${test}.m -A test --mpp_function test_args --dgfip_options='' --run_test tests/mlang/${test}.irj --debug
+
+c:
+	_build/default/src/main.exe tests/mlang/${test}.m -A app -b dgfip_c --mpp_function target --dgfip_options='' --output output/${test}.c --debug
+
+t20:
+	dune exec src/main.exe --profile release -- -A iliad --display_time --precision double --income-year=2020 --comparison_error_margin=0.000001 --mpp_function=enchainement_primitif_interpreteur ir-calcul/sources2020m_6_5/tgvI.m ir-calcul/sources2020m_6_5/errI.m ir-calcul/sources2020m_6_5/chap-1.m ir-calcul/sources2020m_6_5/chap-2.m ir-calcul/sources2020m_6_5/chap-3.m ir-calcul/sources2020m_6_5/chap-4.m ir-calcul/sources2020m_6_5/chap-51.m ir-calcul/sources2020m_6_5/chap-52.m ir-calcul/sources2020m_6_5/chap-6.m ir-calcul/sources2020m_6_5/chap-7.m ir-calcul/sources2020m_6_5/chap-81.m ir-calcul/sources2020m_6_5/chap-82.m ir-calcul/sources2020m_6_5/chap-83.m ir-calcul/sources2020m_6_5/chap-84.m ir-calcul/sources2020m_6_5/chap-85.m ir-calcul/sources2020m_6_5/chap-86.m ir-calcul/sources2020m_6_5/chap-87.m ir-calcul/sources2020m_6_5/chap-88.m ir-calcul/sources2020m_6_5/chap-aff.m ir-calcul/sources2020m_6_5/chap-cinr.m ir-calcul/sources2020m_6_5/chap-cmajo.m ir-calcul/sources2020m_6_5/chap-cor.m ir-calcul/sources2020m_6_5/chap-ctl.m ir-calcul/sources2020m_6_5/chap-ini.m ir-calcul/sources2020m_6_5/chap-inr.m ir-calcul/sources2020m_6_5/chap-isf.m ir-calcul/sources2020m_6_5/chap-majo.m ir-calcul/sources2020m_6_5/chap-perp.m ir-calcul/sources2020m_6_5/chap-plaf.m ir-calcul/sources2020m_6_5/chap-taux.m ir-calcul/sources2020m_6_5/chap-teff.m ir-calcul/sources2020m_6_5/chap-thr.m ir-calcul/sources2020m_6_5/chap-tl.m ir-calcul/sources2020m_6_5/coc1.m ir-calcul/sources2020m_6_5/coc2.m ir-calcul/sources2020m_6_5/coc3.m ir-calcul/sources2020m_6_5/coc4.m ir-calcul/sources2020m_6_5/coc5.m ir-calcul/sources2020m_6_5/coc7.m ir-calcul/sources2020m_6_5/coi1.m ir-calcul/sources2020m_6_5/coi2.m ir-calcul/sources2020m_6_5/coi3.m ir-calcul/sources2020m_6_5/horizoc.m ir-calcul/sources2020m_6_5/horizoi.m ir-calcul/sources2020m_6_5/res-ser1.m ir-calcul/sources2020m_6_5/res-ser2.m m_ext/2020/cibles.m --run_test='tests/2020/fuzzing/fuzzer_1423.m_test' --dgfip_options='' --debug
+
+t22:
+	dune exec /home/kino/Projects/mlang/_build/default/src/main.exe -- -A iliad --display_time --debug --precision double --income-year=2022 --comparison_error_margin=0.000001 --mpp_function=enchainement_primitif_interpreteur /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/tgvI.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/errI.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-1.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-2.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-3.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-4.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-51.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-52.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-6.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-7.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-81.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-82.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-83.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-84.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-85.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-86.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-87.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-88.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-aff.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-cinr.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-cmajo.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-cor.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-ctl.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-ini.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-inr.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-isf.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-majo.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-perp.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-plaf.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-taux.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-teff.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-thr.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/chap-tl.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/coc1.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/coc2.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/coc3.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/coc4.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/coc5.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/coc7.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/coi1.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/coi2.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/coi3.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/horizoc.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/horizoi.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/res-ser1.m /home/kino/Projects/mlang/ir-calcul/sources2022m_6_1/res-ser2.m /home/kino/Projects/mlang/m_ext/2022/cibles.m /home/kino/Projects/mlang/m_ext/2022/codes_1731.m /home/kino/Projects/mlang/m_ext/2022/commence_par_5.m /home/kino/Projects/mlang/m_ext/2022/commence_par_7.m /home/kino/Projects/mlang/m_ext/2022/commence_par_H.m /home/kino/Projects/mlang/m_ext/2022/correctif.m /home/kino/Projects/mlang/m_ext/2022/main.m --run_test="tests/2022/fuzzing/fuzzer_9230.m_test" --dgfip_options=''

README.md

@@ -247,3 +247,12 @@ more details.
 ## License
 
 The compiler is released under the GPL license (version 3).
+
+# The Mlang server backend
+
+Mlang now ships with a backend for Marple, a way to debug and trace execution of M programs.
+
+## Launch
+
+You can launch the server by doing `dune exec src/server.exe`. This will show you an url,
+that you can then input into Marple, starting with the host: ie. `localhost:4242`.

m_ext/0/cibles.m

@@ -59,6 +59,11 @@
 BOBO4 : calculee base primrest = 0 restituee : "" ;
 BOBORES : calculee base primrest = 0 restituee : "" ;
 
+CONST0 : const = 0;
+CONST1 : const = 1;
+CONST2 : const = 2;
+CONST3 : const = 3;
+
 espace_variables ESP : categorie saisie, base;
 
 cible test_dans_domaine:
@@ -626,6 +631,24 @@ afficher_erreur nom(VAR) ": "
   par_defaut:
     afficher "Y = ?, echec\n";
 )
+aiguillage (Y) : (
+  cas CONST0:
+    afficher "Y = CONST0, echec\n";
+  cas CONST1:
+    afficher "Y = CONST1, OK!\n";
+  cas indefini:
+    afficher "Y = --indefini--, echec\n";
+  par_defaut:
+    afficher "Y = ?, echec\n";
+)
+aiguillage nom (Y) : (
+  cas X:
+    afficher "X = Y, ah bon?\n";
+  cas Y:
+    afficher "Y = Y, ouf\n";
+  par_defaut:
+    afficher "Y = ?, echec\n";
+)
 afficher "FIN test aiguillage\n";
 
 # Test stop fonction