search

boltlang / Bolt

A programming language for rapid application development
35 stars 1 forks source link

Constraints associated with a type scheme should inject into the parent type scheme when instanciated #26

Closed samvv closed 1 year ago

samvv commented 3 years ago

Currently, the contraints are just added to the global constraint list. This will result in too strict type-checking.

samvv commented 1 year ago

This issue isn't relevant anymore as it was referring to a previous version of the compiler.