blob: da5114ca006ccafd10e219d157b3a52b675e689d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
fun other () = redirect (bless "http://www.google.com/")
fun further () = case checkUrl "http://www.google.com/" of
None => return <xml>Darn.</xml>
| Some url => redirect url
fun failing () = case checkUrl "http://www.yahoo.com/" of
None => return <xml>Darn.</xml>
| Some url => redirect url
fun main () = return <xml><body>
<a link={other ()}>Go there</a><br/>
<a link={further ()}>Go also there</a><br/>
<a link={failing ()}>Fail there</a>
</body></xml>
|
