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 | |
| parent | 0d55d50a30554e707f499b5814b54e8643d93354 (diff) | |
Remove unnecessary partial annotation.
| -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") |