comparison 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
comparison
equal deleted inserted replaced
809:81fce435e255 810:c1f8963ebb18
28 function whine(msg) { 28 function whine(msg) {
29 alert(msg); 29 alert(msg);
30 throw msg; 30 throw msg;
31 } 31 }
32 32
33 function pf() { 33 function pf(loc) {
34 whine("Pattern match failure"); 34 whine("Pattern match failure (" + loc + ")");
35 } 35 }
36 36
37 function runHandlers(kind, ls, arg) { 37 function runHandlers(kind, ls, arg) {
38 if (ls == null) 38 if (ls == null)
39 alert(kind + ": " + arg); 39 alert(kind + ": " + arg);