aboutsummaryrefslogtreecommitdiff
path: root/ABC/Machine/BStack.icl
diff options
context:
space:
mode:
Diffstat (limited to 'ABC/Machine/BStack.icl')
-rw-r--r--ABC/Machine/BStack.icl4
1 files changed, 4 insertions, 0 deletions
diff --git a/ABC/Machine/BStack.icl b/ABC/Machine/BStack.icl
index a9a2d0e..ab96d60 100644
--- a/ABC/Machine/BStack.icl
+++ b/ABC/Machine/BStack.icl
@@ -113,3 +113,7 @@ bs_remI _ = abortn "bs_remI: no integers"
bs_subI :: BStack -> BStack
bs_subI [Int m:Int n:s] = bs_pushI (m - n) s
bs_subI _ = abortn "bs_subI: no integers"
+
+bs_notB :: BStack -> BStack
+bs_notB [Bool b:s] = bs_pushB (not b) s
+bs_notB _ = abortn "bs_notI: no integer"