diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-12-28 00:17:36 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-12-28 00:17:36 -0400 |
| commit | 873463bf496c413224575777e43512568c912392 (patch) | |
| tree | aba1755965968f2242b8010b4df0ce6b303a27e9 /Utility | |
| parent | fed3620efb4a8fe99f0071149e0e9bb2a3ead943 (diff) | |
whitespace
Diffstat (limited to 'Utility')
| -rw-r--r-- | Utility/Url.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Utility/Url.hs b/Utility/Url.hs index a4523d73f..da1a38dd3 100644 --- a/Utility/Url.hs +++ b/Utility/Url.hs @@ -110,6 +110,7 @@ checkBoth :: URLString -> Maybe Integer -> UrlOptions -> IO Bool checkBoth url expected_size uo = do v <- check url expected_size uo return (fst v && snd v) + check :: URLString -> Maybe Integer -> UrlOptions -> IO (Bool, Bool) check url expected_size = go <$$> getUrlInfo url where |