From 6d90d18e460450b604cbfbd3f5bbe6db6cf6a61a Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 24 Oct 2018 11:32:54 +0100
Subject: Interpreter: don't silently use OCaml externs, only interpreter
 externs

(Adds 'interpreter' externs as appropriate.)
---
 src/interpreter.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/interpreter.ml')

diff --git a/src/interpreter.ml b/src/interpreter.ml
index 407f512a..e355b6d3 100644
--- a/src/interpreter.ml
+++ b/src/interpreter.ml
@@ -266,12 +266,11 @@ let rec build_letchain id lbs (E_aux (_, annot) as exp) =
 
 let is_interpreter_extern id env =
   let open Type_check in
-  Env.is_extern id env "interpreter" || Env.is_extern id env "ocaml"
+  Env.is_extern id env "interpreter"
 
 let get_interpreter_extern id env =
   let open Type_check in
-  try Env.get_extern id env "interpreter" with
-  | Type_error _ -> Env.get_extern id env "ocaml"
+  Env.get_extern id env "interpreter"
 
 let rec step (E_aux (e_aux, annot) as orig_exp) =
   let wrap e_aux' = return (E_aux (e_aux', annot)) in
-- 
cgit v1.2.3