diff tests/fromString.ur @ 290:df00701f2323

'read' type class
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 11:53:30 -0400
parents 0cc956a3216f
children 550100a44cca
line wrap: on
line diff
--- a/tests/fromString.ur	Sun Sep 07 11:41:04 2008 -0400
+++ b/tests/fromString.ur	Sun Sep 07 11:53:30 2008 -0400
@@ -1,15 +1,15 @@
 fun s2i s =
-        case stringToInt s of
+        case read _ s of
           None => 0
         | Some n => n
 
 fun s2f s =
-        case stringToFloat s of
+        case read _ s of
           None => 0.0
         | Some n => n
 
 fun s2b s =
-        case stringToBool s of
+        case read _ s of
           None => False
         | Some b => b