Mercurial > urweb
comparison tests/fromString.ur @ 291:550100a44cca
'read' for strings
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 11:56:53 -0400 |
parents | df00701f2323 |
children |
comparison
equal
deleted
inserted
replaced
290:df00701f2323 | 291:550100a44cca |
---|---|
5 | 5 |
6 fun s2f s = | 6 fun s2f s = |
7 case read _ s of | 7 case read _ s of |
8 None => 0.0 | 8 None => 0.0 |
9 | Some n => n | 9 | Some n => n |
10 | |
11 fun s2s s = | |
12 case read _ s of | |
13 None => "Error" | |
14 | Some s => s | |
10 | 15 |
11 fun s2b s = | 16 fun s2b s = |
12 case read _ s of | 17 case read _ s of |
13 None => False | 18 None => False |
14 | Some b => b | 19 | Some b => b |
21 98.76 = {cdata (show _ (s2f "98.76"))}<br/> | 26 98.76 = {cdata (show _ (s2f "98.76"))}<br/> |
22 <br/> | 27 <br/> |
23 Error = {cdata (show _ (s2b "Error"))}<br/> | 28 Error = {cdata (show _ (s2b "Error"))}<br/> |
24 False = {cdata (show _ (s2b "false"))}<br/> | 29 False = {cdata (show _ (s2b "false"))}<br/> |
25 True = {cdata (show _ (s2b "trUE"))}<br/> | 30 True = {cdata (show _ (s2b "trUE"))}<br/> |
31 <br/> | |
32 Hi = {cdata (s2s "Hi")}<br/> | |
26 </body></html> | 33 </body></html> |