comparison tests/fromString.ur @ 288:4260ad920c36

Converting string to int
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 11:33:13 -0400
parents
children 0cc956a3216f
comparison
equal deleted inserted replaced
287:3ed7a7c7b060 288:4260ad920c36
1 fun i2s s =
2 case stringToInt s of
3 None => 0
4 | Some n => n
5
6 fun main () : transaction page = return <html><body>
7 Error = {cdata (show _ (i2s "Error"))}<br/>
8 3 = {cdata (show _ (i2s "+3"))}<br/>
9 </body></html>
10