Calls to function within current environment not constrained

JSAbrahams / mamba

🐍 The Mamba programming language, because we care about safety

MIT License

88 stars 4 forks source link

Closed JSAbrahams closed 1 year ago

JSAbrahams commented 1 year ago

def fun_a() => print("hello world")
def fun_b(x: Int) => print("hello {x}")

fun_a()
fun_b("asdf")

Should give an error because "asdf" is a string but not an int, but no error given. Surprised we didn't have a sad test for this.