mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-28 16:00:22 +02:00
Code Activity

allow arbitrary constants in cps

Browse source 
(Best-ability ChangeLog annotation added by Christopher Allan Webber.)

* module/language/cps/types.scm (constant-type): No longer error
  if type not determined.  Return &all-types instead.
This commit is contained in:
Robin Templeton 2014-06-14 03:33:22 -04:00 • committed by Christopher Allan Webber
parent d3dabad7e9
commit 4a14b7f7d8
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -348,8 +348,7 @@ minimum, and maximum."
((bitvector? val) (return &bitvector (bitvector-length val)))
((array? val) (return &array (array-rank val)))
((not (variable-bound? (make-variable val))) (return &unbound #f))
(else (error "unhandled constant" val))))
(else (return &all-types #f))))
(define *type-checkers* (make-hash-table))
(define *type-inferrers* (make-hash-table))