diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-04-19 00:38:29 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-04-19 00:38:29 -0400 |
| commit | c5910fd179d374f644ab3c843b243a51a7df9b24 (patch) | |
| tree | 9623da2ab0411f3862d415a17be7be567688b714 /Assistant/Threads/XMPPPusher.hs | |
| parent | bf1bf600fc94f6b95d5723473b148b35ab32073d (diff) | |
removed all uses of undefined from code base
It's a code smell, can lead to hard to diagnose error messages.
Diffstat (limited to 'Assistant/Threads/XMPPPusher.hs')
| -rw-r--r-- | Assistant/Threads/XMPPPusher.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Assistant/Threads/XMPPPusher.hs b/Assistant/Threads/XMPPPusher.hs index ec11b9b94..bff17356d 100644 --- a/Assistant/Threads/XMPPPusher.hs +++ b/Assistant/Threads/XMPPPusher.hs @@ -78,4 +78,5 @@ selectNextPush lastpushedto l = go [] l (Pushing clientid _) | Just clientid /= lastpushedto -> (m, rejected ++ ms) _ -> go (m:rejected) ms - go [] [] = undefined + go [] [] = error "empty push queue" + |