~ chicken-core (chicken-5) 4f1d3c90897469982804ba4ab0ed6e58c8a38c77
commit 4f1d3c90897469982804ba4ab0ed6e58c8a38c77
Author: felix <felix@call-with-current-continuation.org>
AuthorDate: Wed Jan 28 11:53:50 2015 +0100
Commit: Evan Hanson <evhan@foldling.org>
CommitDate: Wed Jan 28 11:53:50 2015 +0100
Removed special cases for srfi-1 operations in scrutiinizer.
diff --git a/scrutinizer.scm b/scrutinizer.scm
index e19a24c4..bd043808 100644
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -2202,7 +2202,7 @@
;
; Preserve known element types for:
;
-; list-ref, list-tail, drop, take
+; list-ref, list-tail
(let ()
@@ -2251,14 +2251,6 @@
(list (cadr result-type))))))
(define-special-case list-tail
- (list+index-call-result-type-special-case
- (lambda (_ result-type) (list result-type))))
-
- (define-special-case take
- (list+index-call-result-type-special-case
- (lambda (result-type _) (list result-type))))
-
- (define-special-case drop
(list+index-call-result-type-special-case
(lambda (_ result-type) (list result-type)))))
@@ -2313,9 +2305,6 @@
`((,type ,@(make-list size fill))))
rtypes)))
- (define-special-case make-list
- (complex-object-constructor-result-type-special-case 'list))
-
(define-special-case make-vector
(complex-object-constructor-result-type-special-case 'vector)))
Trap