suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Moved isMobileType into the Types module where it belongs

Browse Source
This commit is contained in:
Neil Brown 2009-03-22 18:26:14 +00:00
parent 3831a007f7
commit 4f6050069c
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
backends/GenerateC.hs
View File

@ -1594,11 +1594,6 @@ cgenAssign m _ _ = call genMissing "Cannot perform assignment with multiple dest
isPOD :: A.Type -> Bool
isPOD = isJust . cgetScalarType
isMobileType :: A.Type -> CGen Bool
isMobileType (A.Mobile {}) = return True
isMobileType t@(A.Record n) = recordAttr (A.nameMeta n) t >>* A.mobileRecord
isMobileType _ = return False
--}}}
--{{{ input
cgenInput :: A.Variable -> A.InputMode -> CGen ()

7
common/Types.hs
View File

@ -20,7 +20,7 @@ with this program. If not, see <http://www.gnu.org/licenses/>.
module Types
(
specTypeOfName, typeOfSpec, typeOfSpec', abbrevModeOfName, underlyingType, stripArrayType, abbrevModeOfVariable, abbrevModeOfSpec
, isRealType, isIntegerType, isNumericType, isCaseableType, isScalarType, isDataType, isCommunicableType, isSequenceType
, isRealType, isIntegerType, isNumericType, isCaseableType, isScalarType, isDataType, isCommunicableType, isSequenceType, isMobileType
, resolveUserType, isSafeConversion, isPreciseConversion, isImplicitConversionRain
, returnTypesOfFunction
, BytesInResult(..), bytesInType, countReplicator, countStructured, computeStructured
@ -599,6 +599,11 @@ isSequenceType (A.Array _ _) = True
isSequenceType (A.List _) = True
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 _ = return False
--}}}
--{{{ sizes of types