From 00d48d27de0e7e457adf71cdd1de7ce10a340650 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 24 Oct 2007 19:30:44 +0000
Subject: [PATCH] Added an AST Expression for allocating mobiles

---
 common/AST.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/common/AST.hs b/common/AST.hs
index 6906d7c..99d6c65 100644
--- a/common/AST.hs
+++ b/common/AST.hs
@@ -255,6 +255,8 @@ data Expression =
   | BytesInType Meta Type
   | OffsetOf Meta Type Name
   | ExprConstr Meta ArrayConstr
+  -- | The type should always be Mobile t, and the Expression should be of type t:
+  | AllocMobile Meta Type (Maybe Expression)
   deriving (Show, Eq, Typeable, Data)
 
 -- | A list of expressions.