janhaag/PSE2011 — Issue #108: TypeChecker accepts parameters with the same name
Author: ratefuchs
Created: 2012-03-07 11:59:06+00:00
State: open
Labels: Type Checker

The type checker accepts the program

main(int i, bool i){}

as correct, although i is used as parameter name more than once.