From 4d9c4176a8b158751ff352bb029e6385a7e4620e Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Thu, 3 May 2007 00:11:11 +0000 Subject: [PATCH] Don't pull named types --- fco2/Unnest.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/fco2/Unnest.hs b/fco2/Unnest.hs index b955967..8710ef8 100644 --- a/fco2/Unnest.hs +++ b/fco2/Unnest.hs @@ -178,7 +178,6 @@ removeNesting p canPull :: A.SpecType -> Bool canPull (A.Proc _ _ _ _) = True - canPull (A.DataType _ _) = True canPull (A.RecordType _ _ _) = True canPull (A.Protocol _ _) = True canPull (A.ProtocolCase _ _) = True