aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/fromString.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 11:53:30 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 11:53:30 -0400
commitf8d1a7fcf13f655200be366733c24233b5df7f9a (patch)
treed2b1505cfdcef966f5410d29930821ab39fa1818 /tests/fromString.ur
parent9ae8932c978ab9c12f683745b47b3e0898581635 (diff)
'read' type class
Diffstat (limited to 'tests/fromString.ur')
-rw-r--r--tests/fromString.ur6
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/fromString.ur b/tests/fromString.ur
index 673503ae..7c1c5a34 100644
--- a/tests/fromString.ur
+++ b/tests/fromString.ur
@@ -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