search

JSAbrahams / mamba

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

Unification stage appears to not be able to handle certain types of access #221

Closed JSAbrahams closed 2 years ago

JSAbrahams commented 2 years ago

Description of Bug

The unification stage seems to be missing some functionality. Some accesses (i.e. a function call) have a clearly defined type, but the unification stage is unable to identify this.

Current Issue

Something we have a constraint such as (String, Int.str(Int)) The unification does not know how to handle this.

Expected behavior

It seems that this would be fixed if we properly unify access, as Int.str(Int) is clearly a string. Double check that this is not something to do with

JSAbrahams commented 2 years ago

229 and this issue appear to have the same root cause, which is likely solved in #239 .

For those two reasons, this issue may be closed.