mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-30 06:50:31 +02:00
Code Activity

Remove thunk?, integer? simple predicate inferrers

Browse source 
* module/language/cps/types.scm (thunk?, integer?): Remove predicates;
  they were inferring incorrectly.  I don't think they were being used
  though (these primcalls don't reach here).
This commit is contained in:
Andy Wingo 2017-11-22 16:55:27 +01:00
parent 6866cbd676
commit 72c3107539
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
module/language/cps/types.scm
View file

@ -657,7 +657,6 @@ minimum, and maximum."
(define-simple-predicate-inferrer number? &number)
(define-simple-predicate-inferrer char? &char)
(define-simple-predicate-inferrer procedure? &procedure)
(define-simple-predicate-inferrer thunk? &procedure)
(define-predicate-inferrer (eq? a b true?)
;; We can only propagate information down the true leg.
@ -1350,7 +1349,9 @@ minimum, and maximum."
(define-simple-type-predicate-inferrer complex? &number)
(define-simple-type-predicate-inferrer real? &real)
(define-simple-type-predicate-inferrer rational? (logior &exact-integer &fraction))
(define-simple-type-predicate-inferrer integer? (logior &exact-integer &flonum))
;; FIXME: If it's a flonum it may be an integer, but if it's not an
;; integer it also may be still be a flonum.
;; (define-simple-type-predicate-inferrer integer? (logior &exact-integer &flonum))
(define-simple-type-predicate-inferrer exact-integer? &exact-integer)
(define-simple-type-checker (exact? &number))