JSAbrahams / mamba

🐍 The Mamba programming language, because we care about safety
MIT License
88 stars 4 forks source link

Arguments that have defaults are still seen as required #169

Closed JSAbrahams closed 4 years ago

JSAbrahams commented 4 years ago

Description of Bug

Functions with default arguments still require that all the arguments be passed.

How to Reproduce

def f(x: Int, y: Int <- 10) -> Int => x + y

# works fine
f(10, 20)
# throws an error
f(10) 

Expected behaviour

Functions with defaults should not require that these arguments be given.