Fixes

1 files changed, 7 insertions, 2 deletions

diff --git a/BStack.dcl b/BStack.dcl
index 4f5bbfa..4095f60 100644
--- a/BStack.dcl
+++ b/BStack.dcl
@@ -1,8 +1,13 @@
 definition module ABC.BStack
 
+from StdOverloaded import class ==
+from ABC.Def import ::NrArgs
+
 :: Basic   = Int  Int
            | Bool Bool
 
+instance == Basic
+
 :: BSrc    :== Int
 :: BDst    :== Int
 :: BStack (:== [Basic])
@@ -13,10 +18,10 @@ bs_getB   :: BSrc BStack -> Bool
 bs_getI   :: BSrc BStack -> Int
 bs_init   :: BStack
 bs_popn   :: NrArgs BStack -> BStack
-bs_push   :: Dynamic BStack -> BStack
+bs_push   :: Basic BStack -> BStack
 bs_pushB  :: Bool BStack -> BStack
 bs_pushI  :: Int BStack -> BStack
-bs_update :: BDst Dynamic BStack -> BStack
+bs_update :: BDst Basic BStack -> BStack
 bs_addI   :: BStack -> BStack
 bs_decI   :: BStack -> BStack
 bs_incI   :: BStack -> BStack