~ chicken-core (chicken-5) 33c484028ff76bad3143296a31077bd5d038f95a
commit 33c484028ff76bad3143296a31077bd5d038f95a Author: Peter Bex <peter.bex@xs4all.nl> AuthorDate: Sat Nov 10 18:39:50 2012 +0100 Commit: Peter Bex <peter.bex@xs4all.nl> CommitDate: Sat Nov 10 18:39:50 2012 +0100 Add regression test for #952 diff --git a/tests/scrutiny-tests.scm b/tests/scrutiny-tests.scm index 9c2e867b..67ce5a50 100644 --- a/tests/scrutiny-tests.scm +++ b/tests/scrutiny-tests.scm @@ -155,4 +155,6 @@ (define (apply1 f args) (apply f args)) -(apply1 + (list 'a 2 3)) ; <- no type warning +(apply1 + (list 'a 2 3)) ; <- no type warning (#948) +(apply1 + (cons 'a (cons 2 (cons 3 '())))) ; <- same here (#952) + diff --git a/tests/scrutiny.expected b/tests/scrutiny.expected index 5612202b..c4c21a21 100644 --- a/tests/scrutiny.expected +++ b/tests/scrutiny.expected @@ -34,7 +34,7 @@ Warning: at toplevel: (scrutiny-tests.scm:25) in procedure call to `+', expected argument #2 of type `number', but was given an argument of type `symbol' Warning: at toplevel: - assignment of value of type `fixnum' to toplevel variable `car' does not match declared type `(forall (a157) (procedure car ((pair a157 *)) a157))' + assignment of value of type `fixnum' to toplevel variable `car' does not match declared type `(forall (a158) (procedure car ((pair a158 *)) a158))' Warning: at toplevel: expected in `let' binding of `g8' a single result, but were given 2 results @@ -102,4 +102,7 @@ Warning: at toplevel: Warning: at toplevel: (scrutiny-tests.scm:158) in procedure call to `apply1', expected argument #2 of type `(list-of number)', but was given an argument of type `(list symbol fixnum fixnum)' +Warning: at toplevel: + (scrutiny-tests.scm:159) in procedure call to `apply1', expected argument #2 of type `(list-of number)', but was given an argument of type `(list symbol fixnum fixnum)' + Warning: redefinition of standard binding: carTrap