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

Turned the Chan type into a Chan type for full channels and a ChanEnd type for the directed ends

Browse Source 
This is the first patch in the series of many that implement this change throughout Tock.

Fixes #70.
This commit is contained in:
Neil Brown 2009-01-20 17:25:19 +00:00
parent 2137be190b
commit 541f7c1421
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
data/AST.hs
View File

@ -78,8 +78,6 @@ data NameSource
data Direction =
DirInput -- ^ The input end.
| DirOutput -- ^ The output end.
| DirUnknown -- ^ Either direction; either this is a whole channel,
-- or its direction is to be figured out later.
deriving (Show, Eq, Typeable, Data)
-- | Attributes of the type of a channel.
@ -126,7 +124,9 @@ data Type =
-- | A user-defined protocol.
| UserProtocol Name
-- | A channel of the specified type.
| Chan Direction ChanAttributes Type
| Chan ChanAttributes Type
-- | A channel end of the specified type.
| ChanEnd Direction ChanAttributes Type
-- | A counted input or output.
-- The first type is that of the count; the second is that of the array.
-- (For example, @INT::[]BYTE@ would be @A.Counted A.Int (A.Array ...)@).