From 34ae9861d03596161a8a902bdc00bb538d833dfa Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Mon, 23 Mar 2009 21:12:36 +0000
Subject: [PATCH] Marked up channel bundles as being mobile

---
 common/Types.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/common/Types.hs b/common/Types.hs
index 33d1c0e..4ae2008 100644
--- a/common/Types.hs
+++ b/common/Types.hs
@@ -635,6 +635,7 @@ isSequenceType _ _ = False
 isMobileType :: (CSMR m, Die m) => A.Type -> m Bool
 isMobileType (A.Mobile {}) = return True
 isMobileType t@(A.Record n) = recordAttr (A.nameMeta n) t >>* A.mobileRecord
+isMobileType (A.ChanDataType {}) = return True
 isMobileType _ = return False
 
 --}}}