diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-11-24 11:56:05 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-11-24 11:56:05 -0500 |
| commit | 0acd1a5e051444741ead558e285127a277053d48 (patch) | |
| tree | bdcd0c47b93b022a906bb8c9be488da58ea76367 /src/sidecheck.sml | |
| parent | 2b815d1173c0b7a63d43b5503e64cb6c76a03a4c (diff) | |
Tweak error message about Basis.get to use that name instead of internal name
Diffstat (limited to 'src/sidecheck.sml')
| -rw-r--r-- | src/sidecheck.sml | 11 |
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 |