From ceb0b74bd0b368124679378ebfb2cf316deb2e39 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 5 Jul 2016 17:25:10 +0200
Subject: Added Machine as module level

---
 ABC/CStack.dcl | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 ABC/CStack.dcl

(limited to 'ABC/CStack.dcl')

diff --git a/ABC/CStack.dcl b/ABC/CStack.dcl
deleted file mode 100644
index 31d72de..0000000
--- a/ABC/CStack.dcl
+++ /dev/null
@@ -1,15 +0,0 @@
-definition module ABC.CStack
-
-from StdOverloaded import class toString
-from ABC.Def import ::InstrId
-
-:: CSrc    :== Int
-:: CDst    :== Int
-:: CStack (:== [InstrId])
-
-instance toString CStack
-
-cs_init :: CStack
-cs_get  :: CSrc CStack -> InstrId
-cs_popn :: CSrc CStack -> CStack
-cs_push :: InstrId CStack -> CStack
-- 
cgit v1.2.3