Marked up channel bundles as being mobile

2009-03-23 21:12:36 +00:00 · 2009-03-23 21:12:36 +00:00 · 34ae9861d0
commit 34ae9861d0
parent f73171140c
1 changed files with 1 additions and 0 deletions
--- 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

 --}}}