Add Romanian language support

Author: ly3xqhl8g9

.gitignore

@@ -23,3 +23,4 @@ build.ninja
 .catleg_secrets.toml
 *.tmp/
 perf.data*
+.DS_Store

CONTRIBUTING.md

@@ -106,8 +106,8 @@ The Catala language should be adapted to any legislative text that follows a
 general-to-specifics statutes order. Therefore, there exists multiple versions
 of the Catala surface syntax, adapted to the language of the legislative text.
 
-Currently, Catala supports English, French and Polish legislative text via the
-`--language=en`, `--language=fr` or `--language=pl` options.
+Currently, Catala supports English, French, Polish and Romanian legislative text via the
+`--language=en`, `--language=fr`, `--language=pl` or `--language=ro` options.
 
 To add support for a new language:
 

Makefile

@@ -40,15 +40,17 @@ $(PY_VENV_DIR)/stamp: \
     runtimes/python/pyproject.toml \
     syntax_highlighting/en/pygments/pyproject.toml \
     syntax_highlighting/fr/pygments/pyproject.toml \
-    syntax_highlighting/pl/pygments/pyproject.toml
+    syntax_highlighting/pl/pygments/pyproject.toml \
+    syntax_highlighting/ro/pygments/pyproject.toml
 	test -d $(PY_VENV_DIR) || python3 -m venv $(PY_VENV_DIR)
 	$(PY_VENV_ACTIVATE) python3 -m pip install -U pip
 	$(PY_VENV_ACTIVATE) python3 -m pip install -U \
 	  -e $$(ocamlfind query dates_calc)/python \
 	  -e runtimes/python \
 	  -e syntax_highlighting/en/pygments \
 	  -e syntax_highlighting/fr/pygments \
-	  -e syntax_highlighting/pl/pygments
+	  -e syntax_highlighting/pl/pygments \
+	  -e syntax_highlighting/ro/pygments
 	touch $@
 
 dependencies-python: $(PY_VENV_DIR)
@@ -376,7 +378,7 @@ clean:
 	rm -rf artifacts
 
 inspect:
-	gitinspector -f ml,mli,mly,iro,tex,catala,catala_en,catala_pl,catala_fr,md,fst,mld --grading
+	gitinspector -f ml,mli,mly,iro,tex,catala,catala_en,catala_pl,catala_fr,catala_ro,md,fst,mld --grading
 
 #> help_clerk				: Display the clerk man page
 help_clerk:

build_system/clerk_driver.ml

@@ -131,8 +131,8 @@ let backend_extensions =
     Clerk_rules.C, ["c"; "h"; "o"];
     Clerk_rules.OCaml, ["ml"; "mli"; "cmi"; "cmo"; "cmx"; "o"; "cmxs"];
     Clerk_rules.Python, ["py"];
-    Clerk_rules.Java, ["java"; "class"];
-    Clerk_rules.Tests, ["catala_en"; "catala_fr"; "catala_pl"];
+    Clerk_rules.Java, ["java"; "class"; "jar"];
+    Clerk_rules.Tests, ["catala_en"; "catala_fr"; "catala_pl"; "catala_ro"];
   ]
 
 let extensions_backend =
@@ -543,7 +543,8 @@ let build_direct_targets
             let is_module = ext = "" in
             match List.assoc_opt ext extensions_backend, ext with
             | Some bk, _ -> Left (ensure_target_dir (backend_subdir bk) t)
-            | None, ("catala_en" | "catala_fr" | "catala_pl") -> Left t
+            | None, ("catala_en" | "catala_fr" | "catala_pl" | "catala_ro") ->
+              Left t
             | None, ("exe" | "jar") ->
               let t, backend =
                 match ext, lastdirname t with

compiler/catala_utils/cli.ml

@@ -20,7 +20,7 @@ open Global
 (* Manipulation of types used by flags & options *)
 
 (** Associates a {!type: Global.backend_lang} with its string represtation. *)
-let languages = ["en", En; "fr", Fr; "pl", Pl]
+let languages = ["en", En; "fr", Fr; "pl", Pl; "ro", Ro]
 
 let language_code =
   let rl = List.map (fun (a, b) -> b, a) languages in
@@ -42,7 +42,8 @@ let raw_file =
 
 (* Some helpers for catala sources *)
 
-let extensions = [".catala_fr", Fr; ".catala_en", En; ".catala_pl", Pl]
+let extensions =
+  [".catala_fr", Fr; ".catala_en", En; ".catala_pl", Pl; ".catala_ro", Ro]
 
 let file_lang filename =
   List.assoc_opt (Filename.extension filename) extensions

compiler/catala_utils/global.ml

@@ -16,7 +16,7 @@
 
 type file = string
 type raw_file = file
-type backend_lang = En | Fr | Pl
+type backend_lang = En | Fr | Pl | Ro
 type when_enum = Auto | Always | Never
 type message_format_enum = Human | GNU | Lsp
 type trace_format_enum = Human | JSON

compiler/catala_utils/global.mli

@@ -24,7 +24,7 @@ type raw_file = private file
 (** A file name that has not yet been resolved, [options.path_rewrite] must be
     called on it *)
 
-type backend_lang = En | Fr | Pl
+type backend_lang = En | Fr | Pl | Ro
 
 (** The usual auto/always/never option argument *)
 type when_enum = Auto | Always | Never

compiler/desugared/name_resolution.ml

@@ -1290,7 +1290,8 @@ let empty_module_ctxt lang =
          (match lang with
          | Global.En -> ["Present", present; "Absent", absent]
          | Global.Fr -> ["Présent", present; "Absent", absent]
-         | Global.Pl -> ["Obecny", present; "Nieobecny", absent]));
+         | Global.Pl -> ["Obecny", present; "Nieobecny", absent]
+         | Global.Ro -> ["Prezent", present; "Absent", absent]));
     topdefs = Ident.Map.empty;
     used_modules = Ident.Map.empty;
     is_external = false;

compiler/driver.ml

@@ -20,7 +20,13 @@ open Shared_ast
 
 (** Associates a file extension with its corresponding
     {!type: Global.backend_lang} string representation. *)
-let extensions = [".catala_fr", "fr"; ".catala_en", "en"; ".catala_pl", "pl"]
+let extensions =
+  [
+    ".catala_fr", "fr";
+    ".catala_en", "en";
+    ".catala_pl", "pl";
+    ".catala_ro", "ro";
+  ]
 
 let modname_of_file f =
   (* Fixme: make this more robust *)

compiler/literate/html.ml

@@ -243,6 +243,7 @@ let ast_to_html
     | C.Fr -> "Sommaire"
     | C.En -> "Table of contents"
     | C.Pl -> "Spis treści."
+    | C.Ro -> "Cuprins"
   in
 
   Format.fprintf fmt