comparison src/sidecheck.sml @ 1611:217384f4b8ea

Tweak error message about Basis.get to use that name instead of internal name
author Adam Chlipala <adam@chlipala.net>
date Thu, 24 Nov 2011 11:56:05 -0500
parents 154cfe2eb366
children 7bb8c560f23d
comparison
equal deleted inserted replaced
1610:37f5a23446b2 1611:217384f4b8ea
48 decl = fn (_, fs) => fs} 48 decl = fn (_, fs) => fs}
49 FS.empty ds 49 FS.empty ds
50 in 50 in
51 FS.app (fn k as (k1, k2) => 51 FS.app (fn k as (k1, k2) =>
52 if Settings.isClientOnly k then 52 if Settings.isClientOnly k then
53 E.error ("Server-side code uses client-side-only identifier \"" ^ k1 ^ "." ^ k2 ^ "\"") 53 let
54 val k2 = case k1 of
55 "Basis" =>
56 (case k2 of
57 "get_client_source" => "get"
58 | _ => k2)
59 | _ => k2
60 in
61 E.error ("Server-side code uses client-side-only identifier \"" ^ k1 ^ "." ^ k2 ^ "\"")
62 end
54 else 63 else
55 ()) fs; 64 ()) fs;
56 ds 65 ds
57 end 66 end
58 67