broom-lang / broom

A programming language with first-class modules and algebraic effects.
https://broom.readthedocs.io
BSD 3-Clause "New" or "Revised" License
10 stars 1 forks source link

Typechecker should prevent duplicate definitions in block scopes #15

Closed nilern closed 5 years ago

nilern commented 5 years ago

E.g. val foo = 1 val foo = 2 should not be accepted (because forward and recursive references are allowed).