diff options
| author | Robin Templeton <robin@terpri.org> | 2014-06-14 03:33:22 -0400 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-04 16:19:53 +0200 |
| commit | b7567177ef6cb21d81a99ef57eca2da7d7a773a8 (patch) | |
| tree | 8f36922f8bf0d57da99c9d9eb9686683f19c7a6b | |
| parent | 22e192637252a839ad370ceb88839d0250740f54 (diff) | |
allow arbitrary constants in cps
(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.
| -rw-r--r-- | module/language/cps/types.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/module/language/cps/types.scm b/module/language/cps/types.scm index 61de971fe..9073276ea 100644 --- a/module/language/cps/types.scm +++ b/module/language/cps/types.scm @@ -351,8 +351,7 @@ minimum, and maximum." ((array? val) (return &array (array-rank val))) ((syntax? val) (return &syntax 0)) ((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)) |