diff lib/js/urweb.js @ 810:c1f8963ebb18

Fix another problem with overwrites during JavaScript pattern matching
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 16:37:48 -0400
parents e92cfac1608f
children 50b4825115f0
line wrap: on
line diff
--- a/lib/js/urweb.js	Sat May 16 16:02:17 2009 -0400
+++ b/lib/js/urweb.js	Sat May 16 16:37:48 2009 -0400
@@ -30,8 +30,8 @@
   throw msg;
 }
 
-function pf() {
-  whine("Pattern match failure");
+function pf(loc) {
+  whine("Pattern match failure (" + loc + ")");
 }
 
 function runHandlers(kind, ls, arg) {