[Chicken-janitors] #1125: procedures allow to pick the same name for different arguments

[Chicken Trac]

#1125: procedures allow to pick the same name for different arguments
-----------------------+----------------------------------------------------
 Reporter:  certainty  |       Owner:         
     Type:  defect     |      Status:  new    
 Priority:  minor      |   Milestone:  someday
Component:  compiler   |     Version:  4.9.x  
 Keywords:             |  
-----------------------+----------------------------------------------------
 Currently the following is legal:

 (lambda (x x) x)
 (define (foo x x) x)

 According to the standard it is an error for a variable to appear more
 than once in the formals of a procedure.
 Guile and Gambit produce an error whereas Gauche and Scheme48 don't.

 It appears reasonable to me to reject code like this and produce an error.

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