Changed the AST claim element to be an abbreviation rather than a process
This commit is contained in:
parent
4493b3d9e4
commit
1edabee2e7
|
@ -488,6 +488,8 @@ data SpecType =
|
||||||
| IsExpr Meta AbbrevMode Type Expression
|
| IsExpr Meta AbbrevMode Type Expression
|
||||||
-- | Declare an abbreviation of an array of channels.
|
-- | Declare an abbreviation of an array of channels.
|
||||||
| IsChannelArray Meta Type [Variable]
|
| IsChannelArray Meta Type [Variable]
|
||||||
|
-- | Declare a CLAIMed abbreviation of a variable.
|
||||||
|
| IsClaimed Meta Variable
|
||||||
-- | Declare a user data type.
|
-- | Declare a user data type.
|
||||||
| DataType Meta Type
|
| DataType Meta Type
|
||||||
-- | Declare a new record type.
|
-- | Declare a new record type.
|
||||||
|
@ -585,7 +587,6 @@ data Process =
|
||||||
-- This may go away in the future, since which @PROC@s are intrinsics depends
|
-- This may go away in the future, since which @PROC@s are intrinsics depends
|
||||||
-- on the backend.
|
-- on the backend.
|
||||||
| IntrinsicProcCall Meta String [Actual]
|
| IntrinsicProcCall Meta String [Actual]
|
||||||
| Claim Meta Variable Process
|
|
||||||
deriving (Show, Eq, Typeable, Data)
|
deriving (Show, Eq, Typeable, Data)
|
||||||
|
|
||||||
-- | The top level of the AST: a sequence of definitions.
|
-- | The top level of the AST: a sequence of definitions.
|
||||||
|
|
Loading…
Reference in New Issue
Block a user