From 4e9a00a5b7e804c1fdf0892112ba877b2edfe3f5 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Sun, 23 Mar 2008 00:08:48 +0000 Subject: [PATCH] Added support for for-each replicators to the freeNamesIn function --- transformations/Unnest.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/transformations/Unnest.hs b/transformations/Unnest.hs index aff9180..a696970 100644 --- a/transformations/Unnest.hs +++ b/transformations/Unnest.hs @@ -74,6 +74,7 @@ freeNamesIn = doGeneric where (repName, fns) = case rep of A.For _ n b c -> (n, Map.union (freeNamesIn b) (freeNamesIn c)) + A.ForEach _ n b -> (n, freeNamesIn b) doSpecType :: A.SpecType -> NameMap doSpecType (A.Proc _ _ fs p) = Map.difference (freeNamesIn p) (freeNamesIn fs)