search

JSAbrahams / mamba

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

Checker doesn't take largest demoninator #296

Open JSAbrahams opened 2 years ago

JSAbrahams commented 2 years ago

Description of Bug

Type checker does not take largest demoninator.

How to Reproduce

def a := 10

a += 2
a -= 3
a *= 6

a /= 7
a ^= 2

a <<= 10
a >>= 5

Expected behavior

Results in type checker tripping on a, should be Float but checker assumes it is Int.

JSAbrahams commented 1 year ago

Lets move to next milestone since this might require a non-trivial restructuring.