search

Draco-lang / Compiler

The compiler repository for the Draco programming language.
Apache License 2.0
74 stars 9 forks source link

Fixed issue 378. #388

Closed Kuinox closed 4 months ago

Kuinox commented 5 months ago

Fixes #378. The root problem is there is multiple AssignableConstraint with Assign(bool, SomeType). Theses types get lumped together as a CommonType, and the solver is unable to resolve.

Tbh I'm really unsure of my fix.

Kuinox commented 4 months ago

Constraint system will be rewritten.