From e4aac2da97c069a914c9fb6c06697b5a99145d17 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 2 Mar 2018 15:46:29 +0700 Subject: [PATCH] Improve error message for missing scopes --- src/scope.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/scope.ml b/src/scope.ml index 1979b389..e376c1f7 100644 --- a/src/scope.ml +++ b/src/scope.ml @@ -44,6 +44,8 @@ module DB = struct Sexp.code_error "Scope.DB.find_by_name" [ "name" , Sexp.To_sexp.(option string) name ; "context", Sexp.To_sexp.string t.context + ; "names", + Sexp.To_sexp.(list (option string)) (Scope_name_map.keys t.by_name) ] let create ~scopes ~context ~installed_libs internal_libs =