Tidy up OccValue a bit.
This commit is contained in:
parent
475a77404c
commit
e9d95aa0fd
|
@ -39,18 +39,16 @@ type EvalM = ErrorT ErrorReport (StateT CompState Identity)
|
||||||
instance Die EvalM where
|
instance Die EvalM where
|
||||||
dieReport = throwError
|
dieReport = throwError
|
||||||
|
|
||||||
-- | Occam values of various types.
|
-- | Evaluated values of various types.
|
||||||
data OccValue =
|
data OccValue =
|
||||||
OccBool Bool
|
OccBool Bool
|
||||||
| OccByte Word8
|
| OccByte Word8
|
||||||
-- The following four aren't occam types, but I need to put them in here for handling Rain code:
|
|
||||||
| OccUInt16 Word16
|
| OccUInt16 Word16
|
||||||
| OccUInt32 Word32
|
| OccUInt32 Word32
|
||||||
| OccUInt64 Word64
|
| OccUInt64 Word64
|
||||||
| OccInt8 Int8
|
| OccInt8 Int8
|
||||||
|
|
||||||
| OccInt Int32
|
|
||||||
| OccInt16 Int16
|
| OccInt16 Int16
|
||||||
|
| OccInt Int32
|
||||||
| OccInt32 Int32
|
| OccInt32 Int32
|
||||||
| OccInt64 Int64
|
| OccInt64 Int64
|
||||||
-- FIXME This should include the type of the elements, so we can handle
|
-- FIXME This should include the type of the elements, so we can handle
|
||||||
|
|
Loading…
Reference in New Issue
Block a user