diff options
| author | Camil Staps | 2016-07-05 17:25:10 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-07-05 17:25:10 +0200 |
| commit | ceb0b74bd0b368124679378ebfb2cf316deb2e39 (patch) | |
| tree | 7f5c562952bcf0427d838274177123765fe93cf5 /ABC/CStack.dcl | |
| parent | ProgramStore as array for efficiency (diff) | |
Added Machine as module level
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 |