diff options
| author | Unoqwy <julien.qwy@gmail.com> | 2020-08-07 20:19:36 +0200 |
|---|---|---|
| committer | Unoqwy <julien.qwy@gmail.com> | 2020-08-07 20:19:36 +0200 |
| commit | 7beb7a77e8550290e1a1a7cdaeacfe67fbf64ec0 (patch) | |
| tree | 2eaac02679fa1b248f0de9c43e771045de2ef8f2 | |
| parent | c574970bbcc9caa291da601b83e948b26dcca4f0 (diff) | |
| download | xmobar-7beb7a77e8550290e1a1a7cdaeacfe67fbf64ec0.tar.gz xmobar-7beb7a77e8550290e1a1a7cdaeacfe67fbf64ec0.tar.bz2 | |
fix non-exhaustive pattern warning
| -rw-r--r-- | src/Xmobar/X11/Draw.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Xmobar/X11/Draw.hs b/src/Xmobar/X11/Draw.hs index 22b88ae..168c551 100644 --- a/src/Xmobar/X11/Draw.hs +++ b/src/Xmobar/X11/Draw.hs @@ -206,3 +206,4 @@ drawBoxBorder d dr gc pos (BoxOffset alg offset) ht (x1,x2) lw (BoxMargins mt mr drawLine d dr gc (x1 + p1) (ht - lc') (x2 + p2) (ht - lc') BBLeft -> drawLine d dr gc (x1 - 1 + ml) p1 (x1 - 1 + ml) (ht + p2) BBRight -> drawLine d dr gc (x2 + lc - 1 - mr) p1 (x2 + lc - 1 - mr) (ht + p2) + _ -> error "unreachable code"
\ No newline at end of file |