No tengo claro si el guion especifica el comportamiento esperado en caso de declarar dos parámetros con el mismo nombre, e.g.:
procedimiento foo(entero a, entero b, caracter a){}
Imagino que esto debería producir un error semántico por redeclaración de parámetro (incluso aunque el tipo no hubiera cambiado). Actualmente los parámetros se insertan en la tabla sin ninguna comprobación.
No tengo claro si el guion especifica el comportamiento esperado en caso de declarar dos parámetros con el mismo nombre, e.g.:
procedimiento foo(entero a, entero b, caracter a){}
Imagino que esto debería producir un error semántico por redeclaración de parámetro (incluso aunque el tipo no hubiera cambiado). Actualmente los parámetros se insertan en la tabla sin ninguna comprobación.