From b21940585dc4af519b6135a7d0cebc020a0f71cd Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Mon, 13 Apr 2009 14:56:19 +0000
Subject: [PATCH] Added a few FORKING-related entries to the AST

---
 data/AST.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/data/AST.hs b/data/AST.hs
index 8c81f4d..c4a71a0 100644
--- a/data/AST.hs
+++ b/data/AST.hs
@@ -142,6 +142,7 @@ data Type =
   | Any
   | Timer TimerType
   | Time
+  | Barrier
   | Port Type
   | Mobile Type
   -- | A type that will be inferred automatically by a pass.
@@ -486,6 +487,8 @@ data SpecType =
   -- | A replicator (as in SEQ i = 0 FOR 6).  The scope of the replicator is
   -- the code that is replicated according to this replicator.
   | Rep Meta Replicator
+  -- | A forking block.
+  | Forking Meta
   deriving (Show, Eq, Typeable, Data)
 
 -- | Specification mode for @PROC@s and @FUNCTION@s.
@@ -553,6 +556,7 @@ data Process =
   | Case Meta Expression (Structured Option)
   | While Meta Expression Process
   | Par Meta ParMode (Structured Process)
+  | Fork Meta (Maybe Name) Process
   -- | A @PROCESSOR@ process.
   -- The occam2.1 syntax says this is just a process, although it shouldn't be
   -- legal outside a @PLACED PAR@.