From f2829abe30366bc78ce8e5bd6272fac06a7f5b84 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 7 Sep 2008 11:56:53 -0400 Subject: 'read' for strings --- tests/fromString.ur | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'tests/fromString.ur') diff --git a/tests/fromString.ur b/tests/fromString.ur index 7c1c5a34..dd7fb89d 100644 --- a/tests/fromString.ur +++ b/tests/fromString.ur @@ -8,6 +8,11 @@ fun s2f s = None => 0.0 | Some n => n +fun s2s s = + case read _ s of + None => "Error" + | Some s => s + fun s2b s = case read _ s of None => False @@ -23,4 +28,6 @@ fun main () : transaction page = return Error = {cdata (show _ (s2b "Error"))}
False = {cdata (show _ (s2b "false"))}
True = {cdata (show _ (s2b "trUE"))}
+
+ Hi = {cdata (s2s "Hi")}
-- cgit v1.2.3