# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1322153765 18000
# Node ID 217384f4b8ea0829700b8761a3ba3ff7a1f3d414
# Parent  37f5a23446b28f7a9e134c76f908ac56387cdbd9
Tweak error message about Basis.get to use that name instead of internal name

diff -r 37f5a23446b2 -r 217384f4b8ea src/sidecheck.sml
--- a/src/sidecheck.sml	Thu Nov 24 11:41:52 2011 -0500
+++ b/src/sidecheck.sml	Thu Nov 24 11:56:05 2011 -0500
@@ -50,7 +50,16 @@
     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