adamc@1065: fun other () = redirect (bless "http://www.google.com/")
adamc@1065:
adamc@1065: fun further () = case checkUrl "http://www.google.com/" of
adamc@1065: None => return Darn.
adamc@1065: | Some url => redirect url
adamc@1065:
adamc@1065: fun failing () = case checkUrl "http://www.yahoo.com/" of
adamc@1065: None => return Darn.
adamc@1065: | Some url => redirect url
adamc@1065:
adamc@1065: fun main () = return
adamc@1065: Go there
adamc@1065: Go also there
adamc@1065: Fail there
adamc@1065: