diff options
| author | Camil Staps | 2016-07-01 19:37:38 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-07-01 19:37:38 +0200 |
| commit | b3f1e3ff0404a5182b6eed2d88014b4b4fbd69c2 (patch) | |
| tree | c2dbd5b0a43fffc6119510bdc2f5324aa3a0e3b5 /BStack.dcl | |
| parent | Assembler (diff) | |
Moved to directory, added test program
Diffstat (limited to 'BStack.dcl')
| -rw-r--r-- | BStack.dcl | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/BStack.dcl b/BStack.dcl deleted file mode 100644 index 95cf86e..0000000 --- a/BStack.dcl +++ /dev/null @@ -1,38 +0,0 @@ -definition module ABC.BStack - -from StdOverloaded import class ==, class toString -from ABC.Def import ::NrArgs - -:: Basic = Int Int - | Bool Bool - -instance == Basic -instance toString Basic - -:: BSrc :== Int -:: BDst :== Int -:: BStack (:== [Basic]) - -instance toString BStack - -bs_copy :: BSrc BStack -> BStack -bs_get :: BSrc BStack -> Basic -bs_getB :: BSrc BStack -> Bool -bs_getI :: BSrc BStack -> Int -bs_init :: BStack -bs_popn :: NrArgs BStack -> BStack -bs_push :: Basic BStack -> BStack -bs_pushB :: Bool BStack -> BStack -bs_pushI :: Int BStack -> BStack -bs_update :: BDst Basic BStack -> BStack -bs_addI :: BStack -> BStack -bs_decI :: BStack -> BStack -bs_incI :: BStack -> BStack -bs_eqB :: BStack -> BStack -bs_eqI :: BStack -> BStack -bs_eqBi :: Bool BSrc BStack -> BStack -bs_eqIi :: Int BSrc BStack -> BStack -bs_gtI :: BStack -> BStack -bs_ltI :: BStack -> BStack -bs_mulI :: BStack -> BStack -bs_subI :: BStack -> BStack |