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>