Mercurial > urweb

comparison src/iflow.sml @ 1237:a9c200f73f24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More descriptive info flow error message
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Apr 2010 16:36:16 -0400
parents d5ecceb7d1a1
children d6938ab3b5ae
comparison
equal deleted inserted replaced
1236:d5ecceb7d1a1 1237:a9c200f73f24
1280 doPols (!sendable) [] 1280 doPols (!sendable) []
1281 (fn () => let 1281 (fn () => let
1282 val (_, hs) = !hyps 1282 val (_, hs) = !hyps
1283 in 1283 in
1284 ErrorMsg.errorAt loc "The information flow policy may be violated here."; 1284 ErrorMsg.errorAt loc "The information flow policy may be violated here.";
1285 Print.preface ("Hypotheses", Print.p_list p_atom hs) 1285 Print.prefaces "Situation" [("Hypotheses", Print.p_list p_atom hs),
1286 ("User learns", p_exp e)]
1286 end) 1287 end)
1287 end 1288 end
1288 1289
1289 fun checkPaths () = 1290 fun checkPaths () =
1290 let 1291 let