diff options
| author | Camil Staps | 2017-07-19 12:49:30 +0000 |
|---|---|---|
| committer | Camil Staps | 2017-07-19 12:49:30 +0000 |
| commit | e896db3386454b9e079e9adfc19c1e5b4d8735f9 (patch) | |
| tree | 65846e9d5c667aaee1e0c5c83689927aededcf24 /ABC/Machine/BStack.icl | |
| parent | Add negI (diff) | |
Add notB
Diffstat (limited to 'ABC/Machine/BStack.icl')
| -rw-r--r-- | ABC/Machine/BStack.icl | 4 |
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" |