# HG changeset patch # User Adam Chlipala # Date 1323029633 18000 # Node ID 4798ad652c9454f7fa3eb24e8224035bd0917051 # Parent 438561303d02b17b534682088c3a5e90c8d7e7f3 Stop [read] from raising an exception for invalid [int] strings diff -r 438561303d02 -r 4798ad652c94 lib/js/urweb.js --- a/lib/js/urweb.js Sun Dec 04 14:40:12 2011 -0500 +++ b/lib/js/urweb.js Sun Dec 04 15:13:53 2011 -0500 @@ -972,7 +972,7 @@ if (s == "0") return s; else - er("Can't parse int: " + s); + return {}; } function pi(s) { diff -r 438561303d02 -r 4798ad652c94 tests/parseInt.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/parseInt.ur Sun Dec 04 15:13:53 2011 -0500 @@ -0,0 +1,9 @@ +fun main () : transaction page = + s <- source ""; + return + +