From f8d1a7fcf13f655200be366733c24233b5df7f9a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 7 Sep 2008 11:53:30 -0400 Subject: 'read' type class --- tests/fromString.ur | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tests/fromString.ur') 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 -- cgit v1.2.3