From 1edabee2e705d8a008e09b7a5cfc088afca46217 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Mon, 23 Mar 2009 15:52:19 +0000
Subject: [PATCH] Changed the AST claim element to be an abbreviation rather
 than a process

---
 data/AST.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/data/AST.hs b/data/AST.hs
index 8dc6b38..dd29174 100644
--- a/data/AST.hs
+++ b/data/AST.hs
@@ -488,6 +488,8 @@ data SpecType =
   | IsExpr Meta AbbrevMode Type Expression
   -- | Declare an abbreviation of an array of channels.
   | IsChannelArray Meta Type [Variable]
+  -- | Declare a CLAIMed abbreviation of a variable.
+  | IsClaimed Meta Variable
   -- | Declare a user data type.
   | DataType Meta 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
   -- on the backend.
   | IntrinsicProcCall Meta String [Actual]
-  | Claim Meta Variable Process
   deriving (Show, Eq, Typeable, Data)
 
 -- | The top level of the AST: a sequence of definitions.