From 34912844e18ef84d88af87e1dca05ab0426871c9 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 4 Sep 2017 00:02:06 +0200
Subject: Proper anomalies for missing registered primitives.

---
 src/tac2intern.ml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/tac2intern.ml b/src/tac2intern.ml
index c1fd281808..1dba57c4c1 100644
--- a/src/tac2intern.ml
+++ b/src/tac2intern.ml
@@ -651,10 +651,18 @@ let rec intern_rec env (loc, e) = match e with
     let sch = Id.Map.find id env.env_var in
     (GTacVar id, fresh_mix_type_scheme env sch)
   | ArgArg (TacConstant kn) ->
-    let { Tac2env.gdata_type = sch }, _ = Tac2env.interp_global kn in
+    let { Tac2env.gdata_type = sch }, _ =
+      try Tac2env.interp_global kn
+      with Not_found ->
+        CErrors.anomaly (str "Missing hardwired primitive " ++ KerName.print kn)
+    in
     (GTacRef kn, fresh_type_scheme env sch)
   | ArgArg (TacAlias kn) ->
-    let e = Tac2env.interp_alias kn in
+    let e =
+      try Tac2env.interp_alias kn
+      with Not_found ->
+        CErrors.anomaly (str "Missing hardwired alias " ++ KerName.print kn)
+    in
     intern_rec env e
   end
 | CTacCst qid ->
-- 
cgit v1.2.3