add error reporting for 'LoadMDSetting.MissingRequiredKey(...)'

Sapphire-Lilith · Oct 16, 2018 · 1c5da6a · 1c5da6a
1 parent 4619400
commit 1c5da6a
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/src/frontend/loadMDSetting.mli b/src/frontend/loadMDSetting.mli
@@ -1,2 +1,9 @@
 
+type file_path = string
+
+exception MultipleDesignation of file_path * string
+exception InvalidYOJSON       of file_path * string
+exception MissingRequiredKey  of file_path * string
+exception InvalidValueForKey  of file_path * string
+
 val main : string -> DecodeMD.command_record * string list
diff --git a/src/frontend/main.ml b/src/frontend/main.ml
@@ -571,6 +571,12 @@ let error_log_environment suspended =
         NormalLine("at " ^ (Range.to_string rng) ^ ":");
       ]
 
+  | LoadMDSetting.MissingRequiredKey(srcpath, key) ->
+      report_error System [
+        NormalLine("in " ^ srcpath ^ ":");
+        NormalLine("missing required key '" ^ key ^ "'.");
+      ]
+
   | Typechecker.UndefinedVariable(rng, mdlnmlst, varnm, candidates) ->
       let s = String.concat "." (List.append mdlnmlst [varnm]) in
       report_error Typechecker [