diff options
author | Camil Staps | 2016-07-01 09:11:02 +0200 |
---|---|---|
committer | Camil Staps | 2016-07-01 09:11:02 +0200 |
commit | 55e6cadc298beda9d079d99147b3cb0f50ce25ec (patch) | |
tree | dd28e78845843d2dff7d2b3daa2b60f5520e8b7e /BStack.dcl | |
parent | Fixes (diff) |
Printing
Diffstat (limited to 'BStack.dcl')
-rw-r--r-- | BStack.dcl | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1,17 +1,20 @@ definition module ABC.BStack -from StdOverloaded import class == +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 |