[Chicken-janitors] #883: problem with procedure type declarations

[Chicken Trac]

#883: problem with procedure type declarations
---------------------+------------------------------------------------------
 Reporter:  megane   |       Owner:       
     Type:  defect   |      Status:  new  
 Priority:  minor    |   Milestone:  4.9.0
Component:  unknown  |     Version:  4.7.x
 Keywords:  types    |  
---------------------+------------------------------------------------------
 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
 }}}

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/883>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.