From ca2a895b27e5cc5a3e4b4da9e94efeb9779e1e79 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 3 Mar 2009 11:56:05 +0100
Subject: [PATCH] Don't add duplicate name hints.

---
 FlattenTypes.hs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/FlattenTypes.hs b/FlattenTypes.hs
index f75b0d5..44879d0 100644
--- a/FlattenTypes.hs
+++ b/FlattenTypes.hs
@@ -193,8 +193,12 @@ addNameHint :: String -> SignalId -> FlattenState ()
 addNameHint hint id = do
   info <- getSignalInfo id
   let hints = nameHints info
-  let hints' = (hint:hints)
-  setSignalInfo id (info {nameHints = hints'})
+  if hint `elem` hints
+    then do
+      return ()
+    else do
+      let hints' = (hint:hints)
+      setSignalInfo id (info {nameHints = hints'})
 
 -- | Returns the SignalInfo for the given signal. Errors if the signal is not
 --   known in the session.
-- 
2.30.2