From f051edee39f81bf80014f40ab0c482631ec68b5a Mon Sep 17 00:00:00 2001 From: Daniel Burrows Date: Wed, 8 Apr 2009 19:13:04 -0700 Subject: Don't make newly generated backpropagations strict in their step parameter. This led to an infinite loop if there were any backpropagations (since the step parameter closes a cycle). --- tools/resolver-visualize/Resolver/Log.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tools') diff --git a/tools/resolver-visualize/Resolver/Log.hs b/tools/resolver-visualize/Resolver/Log.hs index 2d8942c8..87b8b9c4 100644 --- a/tools/resolver-visualize/Resolver/Log.hs +++ b/tools/resolver-visualize/Resolver/Log.hs @@ -691,8 +691,8 @@ extractProcessingSteps partialSteps = findBackpropagation :: (Solution, Promotion) -> Backpropagation findBackpropagation (sol, p) = case Map.lookup sol stepMap of - Just step -> step `seq` p `seq` Backpropagation { backpropagationStep = step, - backpropagationPromotion = p } + Just step -> p `seq` Backpropagation { backpropagationStep = step, + backpropagationPromotion = p } Nothing -> error $ "No match for the solution " ++ show sol ++ " when adding the backpropagated promotion " ++ show p -- How to build an output step from an input step. This is -- cgit v1.2.3