From 11354eafbc9d636455c7265f6f9f3e24ef8eb056 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Fri, 7 Feb 2014 13:13:04 +0000
Subject: Report unimplemented function name

---
 src/lem_interp/interp.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index 3ea2a137..bc9d33b2 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -711,7 +711,7 @@ and interp_main t_level l_env l_mem exp =
                 (match find_extern externs id with
                 | Just(str) -> 
                   (Action (Call_extern str v) (Frame (Id "0") (E_id (Id "0")) le lm Top), lm, le)
-                | Nothing -> (Error "Unknown function call",lm,le) end)
+                | Nothing -> (Error (String.stringAppend "Unknown function call " (get_id id)),lm,le) end)
 	       end) end) end) end)
          | out -> out end)
     | E_app_infix l op r -> 
-- 
cgit v1.2.3