From b5ff89d417c73d74a42a1756cb3ecd99b7a3e7f4 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Wed, 12 Mar 2014 02:17:25 +1100 Subject: Removed some superfluous lambdas in intermediate functions --- Library/ProofGraph.hs | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'Library/ProofGraph.hs') diff --git a/Library/ProofGraph.hs b/Library/ProofGraph.hs index 217e40c..0e7e80a 100644 --- a/Library/ProofGraph.hs +++ b/Library/ProofGraph.hs @@ -113,14 +113,12 @@ parse gs@(graph,stack,dictionary) str = checkDupe :: PGraph -> PGraph checkDupe graph = - let f = (\g n -> - let list = filter (\x -> (x /= n) && (nodeEquals g n x)) (Graph.nodes g) - in if (list == []) then g else merge g n (head list)) + let f g n = let list = filter (\x -> (x /= n) && (nodeEquals g n x)) (Graph.nodes g) + in if (list == []) then g else merge g n (head list) - merge = - (\g n r -> + merge g n r = let edgesFixed = map (\(a,b,c) -> (a,r,c)) (Graph.inn g n) - in (Graph.insEdges edgesFixed) . (Graph.delNode n) $ g) + in (Graph.insEdges edgesFixed) . (Graph.delNode n) $ g in foldl' f graph (Graph.nodes graph) -- cgit