id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
883	problem with procedure type declarations	megane	felix winkelmann	"Here one would expect bar to be pure as well.
Probably the declaration for bar should throw and `invalid type syntax' error, for now.

{{{
(: foo (* --> *))
(define (foo a) (lambda (b) a))

(: bar (* --> (* -> *)))
(define (bar a) (lambda (b) a))
;; ; GENERATED BY CHICKEN 4.7.5 FROM foo.scm

;; (bar (#(procedure) bar (*) (procedure (*) *)))
;; (foo (#(procedure pure:) foo (*) *))
;; ; END OF FILE
}}}"	defect	closed	minor	4.9.0	unknown	4.7.x	fixed	types