[Guile-commits] 01/01: Fix lower-bound saturation in type inference

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit 43a038f6e12cc4615df3f4fb9e6904bd819a2928
Author: Andy Wingo <address@hidden>
Date:   Mon Mar 14 11:17:08 2016 +0100

    Fix lower-bound saturation in type inference
    
    * module/language/cps/types.scm (type-entry-saturating-union): Fix range
      saturation in the negative direction.  Previously we were artificially
      truncating negative range ends to zero.
---
 module/language/cps/types.scm |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/module/language/cps/types.scm b/module/language/cps/types.scm
index 4adb8a8..4cfc71f 100644
--- a/module/language/cps/types.scm
+++ b/module/language/cps/types.scm
@@ -288,8 +288,8 @@
            (b-min (type-entry-min b)))
        (cond
         ((not (< b-min a-min)) a-min)
-        ((> 0 b-min) 0)
-        ((> &range-min b-min) &range-min)
+        ((< 0 b-min) 0)
+        ((< &range-min b-min) &range-min)
         (else -inf.0)))
      (let ((a-max (type-entry-max a))
            (b-max (type-entry-max b)))