~ chicken-core (chicken-5) 0c2cd063cc95acd8b0edaf8cc7af2865617c7399

commit 0c2cd063cc95acd8b0edaf8cc7af2865617c7399
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Thu Sep 8 11:29:46 2011 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Thu Sep 8 11:29:46 2011 +0200

    updated scrutiny.expected

diff --git a/tests/scrutiny-tests.scm b/tests/scrutiny-tests.scm
index 48bddff9..5c86b438 100644
--- a/tests/scrutiny-tests.scm
+++ b/tests/scrutiny-tests.scm
@@ -88,16 +88,6 @@
 (when (foo7 x)
   (+ x 1))				; will warn about "x" being a string
 
-;; declared procedure types are enforcing
-(define-type s2s (string -> symbol))
-
-(: foo8 s2s)
-(define (foo8 x) (string->symbol x))
-
-(define (foo9 x)
-  (foo8 x)
-  (+ x 1))				; foo8 enforces x
-
 ;; trigger warnings for incompatible types in "the" forms
 (define (foo10 x)
   (string-append (the pair (substring x 0 10))) ; 1
diff --git a/tests/scrutiny.expected b/tests/scrutiny.expected
index 649a027b..cdfb24f4 100644
--- a/tests/scrutiny.expected
+++ b/tests/scrutiny.expected
@@ -37,7 +37,7 @@ Warning: at toplevel:
   scrutiny-tests.scm:28: 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 (a100) (procedure car ((pair a100 *)) a100))'
+  assignment of value of type `fixnum' to toplevel variable `car' does not match declared type `(forall (a92) (procedure car ((pair a92 *)) a92))'
 
 Warning: at toplevel:
   expected in `let' binding of `g8' a single result, but were given 2 results
@@ -63,14 +63,11 @@ Warning: in toplevel procedure `foo6':
 Warning: at toplevel:
   scrutiny-tests.scm:89: in procedure call to `+', expected argument #1 of type `number', but was given an argument of type `string'
 
-Warning: in toplevel procedure `foo9':
-  scrutiny-tests.scm:99: in procedure call to `+', expected argument #1 of type `number', but was given an argument of type `string'
-
 Note: in toplevel procedure `foo10':
   expression returns a result of type `string', but is declared to return `pair', which is not a subtype
 
 Warning: in toplevel procedure `foo10':
-  scrutiny-tests.scm:103: in procedure call to `string-append', expected argument #1 of type `string', but was given an argument of type `pair'
+  scrutiny-tests.scm:93: in procedure call to `string-append', expected argument #1 of type `string', but was given an argument of type `pair'
 
 Warning: in toplevel procedure `foo10':
   expression returns 2 values but is declared to have a single result
@@ -82,6 +79,6 @@ Warning: in toplevel procedure `foo10':
   expression returns zero values but is declared to have a single result of type `*'
 
 Warning: in toplevel procedure `foo10':
-  scrutiny-tests.scm:106: in procedure call to `*', expected argument #1 of type `number', but was given an argument of type `string'
+  scrutiny-tests.scm:96: in procedure call to `*', expected argument #1 of type `number', but was given an argument of type `string'
 
 Warning: redefinition of standard binding: car