Correction d'une erreur bête.

MLanguage · Jul 4, 2023 · 8969609 · 8969609
1 parent e23fb38
commit 8969609
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/src/mlang/dgfip_m.ml b/src/mlang/dgfip_m.ml
@@ -232,7 +232,7 @@ let string_to_rule_domain_id : string -> Mast.DomainId.t = function
   | "irisf" -> Mast.DomainId.from_list [ "irisf" ]
   | "base_HR" -> Mast.DomainId.from_list [ "corrective"; "base_HR" ]
   | "base_tl" -> Mast.DomainId.from_list [ "corrective"; "base_tl" ]
-  | "base_tl_init" -> Mast.DomainId.from_list [ "corrective"; "base_INITIAL" ]
+  | "base_tl_init" -> Mast.DomainId.from_list [ "corrective"; "base_tl_init" ]
   | "base_tl_rect" -> Mast.DomainId.from_list [ "corrective"; "base_tl_rect" ]
   | "base_INITIAL" -> Mast.DomainId.from_list [ "corrective"; "base_INITIAL" ]
   | "base_INR" -> Mast.DomainId.from_list [ "corrective"; "base_INR" ]

diff --git a/src/mlang/mpp_frontend/mpp_frontend.ml b/src/mlang/mpp_frontend/mpp_frontend.ml
@@ -69,7 +69,12 @@ let to_mpp_callable (cname : string Pos.marked) (args : string Pos.marked list)
           Errors.raise_spanned_error "Expected a chain to call"
             (Pos.get_position cname)
       | chain :: args ->
-          (Program (Dgfip_m.string_to_rule_domain_id (Pos.unmark chain)), args)
+          let dom_id =
+            let ch = Pos.unmark chain in
+            try Dgfip_m.string_to_rule_domain_id ch
+            with _ -> Mast.DomainId.singleton ch
+          in
+          (Program dom_id, args)
     end
   | "call_m_verif" -> begin
       match args with