Handle functions with differing type signatures correctly in scope-building

manifold-lang / manifold-frontend

Frontend compiler for Manifold high-level language

GNU General Public License v3.0

6 stars 6 forks source link

Handle functions with differing type signatures correctly in scope-building #40

Open mtrberzi opened 9 years ago

mtrberzi commented 9 years ago

What is "correct" depends on whether we want to support ad-hoc polymorphism. If we do, we need to be able to bind two functions with different type signatures to the same identifier. If not, we need to determine a strategy for rejecting such a binding.