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 --}}}