diff options
author | Kjetil Orbekk <kjetil.orbekk@gmail.com> | 2017-02-15 22:57:21 -0500 |
---|---|---|
committer | Kjetil Orbekk <kjetil.orbekk@gmail.com> | 2017-02-15 22:57:21 -0500 |
commit | 65757403924d51f6cc32a30ad7282996ace61854 (patch) | |
tree | 90c4c2e7e9efbc003f9eef728975324184e72ba2 /Dispatch.idr | |
parent | 0d55d50a30554e707f499b5814b54e8643d93354 (diff) |
Remove unnecessary partial annotation.
Diffstat (limited to 'Dispatch.idr')
-rw-r--r-- | Dispatch.idr | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Dispatch.idr b/Dispatch.idr index a13fef4..d7a8f97 100644 --- a/Dispatch.idr +++ b/Dispatch.idr @@ -46,7 +46,6 @@ handlers = [ , (Directory "weather" (Capture End) ** weatherHandler) ] -partial main : IO () main = do putStrLn (fromMaybe "failed" $ dispatch handlers "hello/Bob/Sunshine") |