~ chicken-core (chicken-5) bdd6d154273458eddda84bc32fcb8002841cbbd1

commit bdd6d154273458eddda84bc32fcb8002841cbbd1
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Thu Sep 8 10:49:09 2011 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Thu Sep 8 10:49:09 2011 +0200

    user-declared procedure types are not enforcing by default

diff --git a/chicken-syntax.scm b/chicken-syntax.scm
index 0363b238..14c98be4 100644
--- a/chicken-syntax.scm
+++ b/chicken-syntax.scm
@@ -1178,7 +1178,6 @@
 		   `(##core#declare 
 		     (type (,name1 ,type1 ,@(cdddr x)))
 		     ,@(if pure `((pure ,name1)) '())
-		     (enforce-argument-types ,name1)
 		     ,@(if pred `((predicate (,name1 ,pred))) '()))))))))))
 
 (##sys#extend-macro-environment