[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Guile-commits] 06/36: allow arbitrary constants in cps

From: Christopher Allan Webber
Subject: [Guile-commits] 06/36: allow arbitrary constants in cps
Date: Fri, 25 Mar 2016 20:02:53 +0000

cwebber pushed a commit to branch wip-elisp
in repository guile.

commit 4a14b7f7d86fc9ac29e214c47c934a106749d2ac
Author: Robin Templeton <address@hidden>
Date:   Sat Jun 14 03:33:22 2014 -0400

    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.
 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 4cfc71f..7a117f2 100644
--- a/module/language/cps/types.scm
+++ b/module/language/cps/types.scm
@@ -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))

reply via email to

[Prev in Thread] Current Thread [Next in Thread]