allow arbitrary constants in cps

diff --git a/module/language/cps/types.scm b/module/language/cps/types.scm
index 7e26600..5eab2ed 100644 (file)
--- a/module/language/cps/types.scm
+++ b/module/language/cps/types.scm
@@ -303,8 +303,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))