From f2350d6c993e4735d8160945201c7ee7038c6779 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 18 Jul 2017 08:09:59 +0000
Subject: Add annotations

---
 ABC/Assembler.dcl | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'ABC/Assembler.dcl')

diff --git a/ABC/Assembler.dcl b/ABC/Assembler.dcl
index 03b8820..63880e7 100644
--- a/ABC/Assembler.dcl
+++ b/ABC/Assembler.dcl
@@ -12,6 +12,14 @@ from ABC.Machine.GraphStore import ::Desc
 :: DescLabel :== Label
 :: NrInstr   :== Int
 
+:: Annotation
+	= DAnnot Int [BasicType]
+	| OAnnot Int [BasicType]
+
+:: BasicType
+	= BT_Bool
+	| BT_Int
+
 :: Assembler :== [Statement]
 
 :: Statement
@@ -77,6 +85,7 @@ from ABC.Machine.GraphStore import ::Desc
 	| MulI
 	| SubI
 	| Comment      String
+	| Annotation   Annotation
 
 instance toString Assembler
 instance toString Statement
-- 
cgit v1.2.3