summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-11-24 11:56:05 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-11-24 11:56:05 -0500
commit8edeb980a44cf093fd2df57967c3a2e5ad1737c9 (patch)
treebdcd0c47b93b022a906bb8c9be488da58ea76367 /src
parent915ff8e78538d9e3c16c7e2b247a27a424f71d40 (diff)
Tweak error message about Basis.get to use that name instead of internal name
Diffstat (limited to 'src')
-rw-r--r--src/sidecheck.sml11
1 files changed, 10 insertions, 1 deletions
diff --git a/src/sidecheck.sml b/src/sidecheck.sml
index 737c5c2b..13cbccdb 100644
--- a/src/sidecheck.sml
+++ b/src/sidecheck.sml
@@ -50,7 +50,16 @@ fun check ds =
in
FS.app (fn k as (k1, k2) =>
if Settings.isClientOnly k then
- E.error ("Server-side code uses client-side-only identifier \"" ^ k1 ^ "." ^ k2 ^ "\"")
+ let
+ val k2 = case k1 of
+ "Basis" =>
+ (case k2 of
+ "get_client_source" => "get"
+ | _ => k2)
+ | _ => k2
+ in
+ E.error ("Server-side code uses client-side-only identifier \"" ^ k1 ^ "." ^ k2 ^ "\"")
+ end
else
()) fs;
ds