diff src/iflow.sml @ 1237:a9c200f73f24

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
line wrap: on
line diff
--- a/src/iflow.sml	Tue Apr 13 16:30:46 2010 -0400
+++ b/src/iflow.sml	Tue Apr 13 16:36:16 2010 -0400
@@ -1282,7 +1282,8 @@
                        val (_, hs) = !hyps
                    in
                        ErrorMsg.errorAt loc "The information flow policy may be violated here.";
-                       Print.preface ("Hypotheses", Print.p_list p_atom hs)
+                       Print.prefaces "Situation" [("Hypotheses", Print.p_list p_atom hs),
+                                                   ("User learns", p_exp e)]
                    end)
     end