[Guile-commits] Success: Hydra job gnu:guile-master:tarball on x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:tarball’ (on x86_64-linux) has 
changed from "Failed with output" to "Success".  For details, see

  https://hydra.nixos.org/build/48886326

Yay!

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build_clang.i686-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_clang.i686-linux’ has changed 
from "Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48857222

This may be due to a commit by Andy Wingo .

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build_without_threads.x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_without_threads.x86_64-linux’ 
has changed from "Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48857376

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build.i686-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build.i686-linux’ has changed from 
"Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48857366

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build_disable_deprecated_disable_discouraged on x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job 
‘gnu:guile-master:build_disable_deprecated_disable_discouraged’ (on 
x86_64-linux) has changed from "Success" to "Failed with output".  For details, 
see

  https://hydra.nixos.org/build/48857373

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build.x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build.x86_64-linux’ has changed from 
"Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48857370

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build_enable_guile_debug on x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_enable_guile_debug’ (on 
x86_64-linux) has changed from "Success" to "Failed with output".  For details, 
see

  https://hydra.nixos.org/build/48857368

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build_clang.x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_clang.x86_64-linux’ has changed 
from "Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48857379

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build_without_threads.i686-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_without_threads.i686-linux’ has 
changed from "Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48857372

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:tarball on x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:tarball’ (on x86_64-linux) has 
changed from "Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48857367

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Success: Hydra job gnu:guile-master:build_clang.i686-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_clang.i686-linux’ has changed 
from "Failed with output" to "Success".  For details, see

  https://hydra.nixos.org/build/48849142

This may be due to a commit by Andy Wingo .

Yay!

Regards,

The Hydra build daemon.

[Guile-commits] Success: Hydra job gnu:guile-master:build.i686-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build.i686-linux’ has changed from 
"Failed with output" to "Success".  For details, see

  https://hydra.nixos.org/build/48849138

This may be due to a commit by Andy Wingo .

Yay!

Regards,

The Hydra build daemon.

[Guile-commits] Success: Hydra job gnu:guile-master:build.x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build.x86_64-linux’ has changed from 
"Failed with output" to "Success".  For details, see

  https://hydra.nixos.org/build/48849149

This may be due to a commit by Andy Wingo .

Yay!

Regards,

The Hydra build daemon.

[Guile-commits] Success: Hydra job gnu:guile-master:build_without_threads.i686-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_without_threads.i686-linux’ has 
changed from "Failed with output" to "Success".  For details, see

  https://hydra.nixos.org/build/48849136

This may be due to a commit by Andy Wingo .

Yay!

Regards,

The Hydra build daemon.

[Guile-commits] Success: Hydra job gnu:guile-master:build_enable_guile_debug on x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_enable_guile_debug’ (on 
x86_64-linux) has changed from "Failed with output" to "Success".  For details, 
see

  https://hydra.nixos.org/build/48849137

This may be due to a commit by Andy Wingo .

Yay!

Regards,

The Hydra build daemon.

[Guile-commits] Success: Hydra job gnu:guile-master:build_disable_deprecated_disable_discouraged on x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job 
‘gnu:guile-master:build_disable_deprecated_disable_discouraged’ (on 
x86_64-linux) has changed from "Failed with output" to "Success".  For details, 
see

  https://hydra.nixos.org/build/48849140

This may be due to a commit by Andy Wingo .

Yay!

Regards,

The Hydra build daemon.

[Guile-commits] Success: Hydra job gnu:guile-master:build_clang.x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_clang.x86_64-linux’ has changed 
from "Failed with output" to "Success".  For details, see

  https://hydra.nixos.org/build/48849134

This may be due to a commit by Andy Wingo .

Yay!

Regards,

The Hydra build daemon.

[Guile-commits] Success: Hydra job gnu:guile-master:build_without_threads.x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_without_threads.x86_64-linux’ 
has changed from "Failed with output" to "Success".  For details, see

  https://hydra.nixos.org/build/48849145

This may be due to a commit by Andy Wingo .

Yay!

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build_disable_deprecated_disable_discouraged on x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job 
‘gnu:guile-master:build_disable_deprecated_disable_discouraged’ (on 
x86_64-linux) has changed from "Success" to "Failed with output".  For details, 
see

  https://hydra.nixos.org/build/48849089

This may be due to 2 commits by Andy Wingo .

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build_enable_guile_debug on x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_enable_guile_debug’ (on 
x86_64-linux) has changed from "Success" to "Failed with output".  For details, 
see

  https://hydra.nixos.org/build/48849100

This may be due to 2 commits by Andy Wingo .

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build.i686-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build.i686-linux’ has changed from 
"Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48849101

This may be due to 2 commits by Andy Wingo .

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build_without_threads.i686-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_without_threads.i686-linux’ has 
changed from "Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48849098

This may be due to 2 commits by Andy Wingo .

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build_without_threads.x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build_without_threads.x86_64-linux’ 
has changed from "Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48849097

This may be due to 2 commits by Andy Wingo .

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:build.x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:build.x86_64-linux’ has changed from 
"Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48849105

This may be due to 2 commits by Andy Wingo .

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] Success: Hydra job gnu:guile-master:tarball on x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:tarball’ (on x86_64-linux) has 
changed from "Failed with output" to "Success".  For details, see

  https://hydra.nixos.org/build/48849150

This may be due to a commit by Andy Wingo .

Yay!

Regards,

The Hydra build daemon.

[Guile-commits] Failed with output: Hydra job gnu:guile-master:tarball on x86_64-linux

[Hydra Build Daemon]

Hi,

The status of Hydra job ‘gnu:guile-master:tarball’ (on x86_64-linux) has 
changed from "Success" to "Failed with output".  For details, see

  https://hydra.nixos.org/build/48849092

This may be due to 2 commits by Andy Wingo .

Go forth and fix it.

Regards,

The Hydra build daemon.

[Guile-commits] 01/01: Fix flonum/complex type inference.

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit d0811644f6c8b7bd7dd812b91e53dc3b8b153d12
Author: Andy Wingo 
Date:   Sun Feb 19 11:56:24 2017 +0100

Fix flonum/complex type inference.

* module/language/cps/types.scm (define-binary-result!): Arithmetic
  where one argument is a flonum may produce a complex.
* test-suite/tests/compiler.test: Add test.
---
 module/language/cps/types.scm  |  8 ++--
 test-suite/tests/compiler.test | 12 
 2 files changed, 18 insertions(+), 2 deletions(-)

diff --git a/module/language/cps/types.scm b/module/language/cps/types.scm
index c7e4211..a66e4b8 100644
--- a/module/language/cps/types.scm
+++ b/module/language/cps/types.scm
@@ -970,11 +970,15 @@ minimum, and maximum."
   ;; One input not a number.  Perhaps we end up dispatching to
   ;; GOOPS.
   (define! result  -inf.0 +inf.0))
- ;; Complex and floating-point numbers are contagious.
+ ;; Complex numbers are contagious.
  ((or (eqv? a-type ) (eqv? b-type ))
   (define! result  -inf.0 +inf.0))
  ((or (eqv? a-type ) (eqv? b-type ))
-  (define! result  min* max*))
+  ;; If one argument is a flonum, the result will be flonum or
+  ;; possibly complex.
+  (let ((result-type (logand (logior a-type b-type)
+ (logior  
+(define! result result-type min* max*)))
  ;; Exact integers are closed under some operations.
  ((and closed? (eqv? a-type ) (eqv? b-type ))
   (define! result  min* max*))
diff --git a/test-suite/tests/compiler.test b/test-suite/tests/compiler.test
index 582ce6e..4f644f3 100644
--- a/test-suite/tests/compiler.test
+++ b/test-suite/tests/compiler.test
@@ -239,3 +239,15 @@
 (begin
   (test-proc)
   #t)))
+
+(with-test-prefix "flonum inference"
+  (define test-code
+'(lambda (x) (let ((y (if x 0.0 0.0+0.0i))) (+ y 0.0
+  (define test-proc #f)
+  (pass-if "compiling test works"
+(begin
+  (set! test-proc (compile test-code))
+  (procedure? test-proc)))
+
+  (pass-if-equal "test flonum" 0.0 (test-proc #t))
+  (pass-if-equal "test complex" 0.0+0.0i (test-proc #f)))

[Guile-commits] branch master updated (c58c143 -> d081164)

[Andy Wingo]

wingo pushed a change to branch master
in repository guile.

  from  c58c143   Guile 2.1.7.
   new  d081164   Fix flonum/complex type inference.

The 1 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 module/language/cps/types.scm  |  8 ++--
 test-suite/tests/compiler.test | 12 
 2 files changed, 18 insertions(+), 2 deletions(-)