From feaf5cca383eef7caf103f6f3fd4a93725f6667b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 May 2009 18:20:15 -0400 Subject: Runtime URL and MIME type filtering --- tests/url.ur | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'tests/url.ur') diff --git a/tests/url.ur b/tests/url.ur index c45681e0..ea236502 100644 --- a/tests/url.ur +++ b/tests/url.ur @@ -1,12 +1,11 @@ -val url = "http://www.yahoo.com/" - fun readersChoice r = return - Your pick, boss + {case checkUrl r.Url of + None => I can't do that, Dave. + | Some url => Your pick, boss} fun main () : transaction page = return - Google! - Yahoo!
+ Learn