tests/fromString.ur


1
2
3
4
5
6
7
8
9
10

fun i2s s =
        case stringToInt s of
          None => 0
        | Some n => n

fun main () : transaction page = return <html><body>
        Error = {cdata (show _ (i2s "Error"))}<br/>
        3 = {cdata (show _ (i2s "+3"))}<br/>
</body></html>