From 3efc8acaed130996c4f6fa744b323abf05352d70 Mon Sep 17 00:00:00 2001
From: Michael Walker <mike@barrucadu.co.uk>
Date: Sat, 25 Feb 2017 05:33:29 +0000
Subject: [PATCH] Throw error in incorporateTrace if no to-do points.

---
 dejafu/Test/DejaFu/SCT/Internal.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dejafu/Test/DejaFu/SCT/Internal.hs b/dejafu/Test/DejaFu/SCT/Internal.hs
index 2d6f636..6eb4408 100644
--- a/dejafu/Test/DejaFu/SCT/Internal.hs
+++ b/dejafu/Test/DejaFu/SCT/Internal.hs
@@ -167,7 +167,7 @@ incorporateTrace dependency conservative trace dpor0 = grow initialDepState (ini
                    , dporTodo  = M.delete tid' (dporTodo dpor)
                    , dporDone  = done
                    }
-  grow _ _ [] dpor = dpor
+  grow _ _ [] _ = err "incorporateTrace" "trace exhausted without reading a to-do point!"
 
   -- Construct a new subtree corresponding to a trace suffix.
   subtree state tid sleep ((_, _, a):rest) =