improve unsafe-linklet error message

This commit is contained in:
Matthew Flatt 2020-08-24 11:56:53 -06:00
parent 1177112970
commit 38570e3ea6
3 changed files with 4 additions and 4 deletions

View File

@ -463,7 +463,7 @@
;; timestamp .zo file (needed under Windows):
(file-or-directory-modify-seconds ,test-zo (current-seconds))
;; loading 'test gets 'list module declaration via ".zo"
(load/use-compiled ,test-lib) =err> "cannot use linklet loaded with non-original code inspector"
(load/use-compiled ,test-lib) =err> "cannot use unsafe linklet loaded with non-original code inspector"
(delete-file ,test-zo) => (void)
(delete-file ,test-lib) =err> "`delete' access denied"
--top--
@ -480,7 +480,7 @@
(cp ,list-lib ,test-lib) (cp ,list-zo ,test-zo)
(cp ,list-lib ,test2-lib) (cp ,list-zo ,test2-zo)
;; bytecode from test-lib is bad, even when we can read/write to it
(load/use-compiled ,test-zo) =err> "cannot use linklet loaded with non-original code inspector"
(load/use-compiled ,test-zo) =err> "cannot use unsafe linklet loaded with non-original code inspector"
;; bytecode from test2-lib is explicitly allowed
(load/use-compiled ,test2-lib)
(require 'list) => (void))

View File

@ -335,7 +335,7 @@ static void check_linklet_allowed(const char *who, Scheme_Linklet *linklet)
{
if (linklet->reject_eval) {
scheme_raise_exn(MZEXN_FAIL,
"%s: cannot use linklet loaded with non-original code inspector",
"%s: cannot use unsafe linklet loaded with non-original code inspector",
who);
}
}

View File

@ -671,7 +671,7 @@
[(faslable-unsafe)
(raise (|#%app|
exn:fail
"eval-linklet: cannot use linklet loaded with non-original code inspector"
"eval-linklet: cannot use unsafe linklet loaded with non-original code inspector"
(current-continuation-marks)))]
[else
linklet]))