Mercurial > urweb
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 |