From 85790012b04bfa5db9fbb45f7f4706947e932065 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Tue, 7 Apr 2009 16:07:46 +0000
Subject: [PATCH] Allowed removeNesting to pull up functions (the only ones
 affected will be the built-in operators)

---
 transformations/Unnest.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/transformations/Unnest.hs b/transformations/Unnest.hs
index 89eb6f2..45d4733 100644
--- a/transformations/Unnest.hs
+++ b/transformations/Unnest.hs
@@ -227,6 +227,7 @@ removeNesting = pass "Pull nested definitions to top level"
 
     canPull :: A.SpecType -> Bool
     canPull (A.Proc _ _ _ _) = True
+    canPull (A.Function {}) = True
     canPull (A.RecordType _ _ _) = True
     canPull (A.Protocol _ _) = True
     canPull (A.ProtocolCase _ _) = True