diff options
Diffstat (limited to 'module/language/cps/cse.scm')
-rw-r--r-- | module/language/cps/cse.scm | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/module/language/cps/cse.scm b/module/language/cps/cse.scm index 17a648962..a7de7a623 100644 --- a/module/language/cps/cse.scm +++ b/module/language/cps/cse.scm @@ -251,9 +251,6 @@ false. It could be that both true and false proofs are available." (add-def! (list 'op* arg* ...) aux) ...) (_ (add-definitions . clauses)))))) (add-definitions - ((b <- box #f o) (o <- box-ref #f b)) - ((box-set! #f b o) (o <- box-ref #f b)) - ((scm-set! p s i x) (x <- scm-ref p s i)) ((scm-set!/tag p s x) (x <- scm-ref/tag p s)) ((scm-set!/immediate p s x) (x <- scm-ref/immediate p s)) |