From 8edeb980a44cf093fd2df57967c3a2e5ad1737c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 24 Nov 2011 11:56:05 -0500
Subject: Tweak error message about Basis.get to use that name instead of
 internal name

---
 src/sidecheck.sml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'src/sidecheck.sml')

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
-- 
cgit v1.2.3