diff options
Diffstat (limited to 'ABC/CStack.dcl')
| -rw-r--r-- | ABC/CStack.dcl | 15 |
1 files changed, 0 insertions, 15 deletions
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 |