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 deps/dates-calc/lib_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)
@@ -358,7 +360,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

@@ -132,7 +132,7 @@ let backend_src_extensions =
     Clerk_rules.OCaml, ["ml"; "mli"];
     Clerk_rules.Python, ["py"];
     Clerk_rules.Java, ["java"];
-    Clerk_rules.Tests, ["catala_en"; "catala_fr"; "catala_pl"];
+    Clerk_rules.Tests, ["catala_en"; "catala_fr"; "catala_pl"; "catala_ro"];
   ]
 
 let backend_obj_extensions =
@@ -627,7 +627,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
@@ -1050,7 +1051,7 @@ let typecheck_cmd =
       Clerk_rules.run_ninja ~config ~enabled_backends:[Clerk_rules.Tests]
         ~autotest:false ~ninja_flags (fun nin_ppf items var_bindings ->
           Nj.format_def nin_ppf
-            (Nj.Default (Nj.Default.make ["Stdlib_fr@src"; "Stdlib_en@src"]));
+            (Nj.Default (Nj.Default.make ["Stdlib_fr@src"; "Stdlib_en@src"; "Stdlib_ro@src"]));
           items, var_bindings)
     in
     let catala_flags = get_var var_bindings Var.catala_flags in
@@ -1330,6 +1331,7 @@ let start_cmd =
                   "@runtime-ocaml";
                   "Stdlib_fr@ocaml-module";
                   "Stdlib_en@ocaml-module";
+                  "Stdlib_ro@ocaml-module";
                 ]));
         0)
   in

compiler/catala_utils/cli.ml

@@ -21,7 +21,7 @@ module G = 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
@@ -43,7 +43,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
@@ -113,4 +113,4 @@ let enforce_options
 
 let input_src_file = function FileName f | Contents (_, f) | Stdin f -> f
 let raw_file f = f
-let has_localised_stdlib = function En | Fr -> true | _ -> false
+let has_localised_stdlib = function En | Fr | Ro -> true | _ -> false

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

@@ -1331,12 +1331,20 @@ let process_use_item
 
 (** {1 API} *)
 
-let empty_module_ctxt _lang =
+let empty_module_ctxt lang =
   {
     current_revpath = [];
     typedefs = Ident.Map.empty;
     field_idmap = Ident.Map.empty;
-    constructor_idmap = Ident.Map.empty;
+    constructor_idmap =
+      (let present = EnumName.Map.singleton Expr.option_enum Expr.some_constr in
+       let absent = EnumName.Map.singleton Expr.option_enum Expr.none_constr in
+       Ident.Map.of_list
+         (match lang with
+         | Global.En -> ["Present", present; "Absent", absent]
+         | Global.Fr -> ["Présent", present; "Absent", 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 load_modules
     options

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