From e2dac3aa768cd91e8e0db9db94acf03b46450449 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 4 Jun 2008 19:05:31 +0000
Subject: [PATCH] Simplified freeNamesIn by removing what is an unnecessary
 case for replicators

---
 transformations/Unnest.hs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/transformations/Unnest.hs b/transformations/Unnest.hs
index 971f043..23c9028 100644
--- a/transformations/Unnest.hs
+++ b/transformations/Unnest.hs
@@ -73,9 +73,6 @@ freeNamesIn = doGeneric
     doSpecType :: A.SpecType -> NameMap
     doSpecType (A.Proc _ _ fs p) = Map.difference (freeNamesIn p) (freeNamesIn fs)
     doSpecType (A.Function _ _ _ fs vp) = Map.difference (freeNamesIn vp) (freeNamesIn fs)
-    doSpecType (A.Rep _ rep) = case rep of 
-      A.For _ b c -> Map.union (freeNamesIn b) (freeNamesIn c)
-      A.ForEach _ b -> freeNamesIn b
     doSpecType st = doGeneric st
 
 -- | Replace names.