search

kevinbarabash / compiler

2 stars 0 forks source link

[wyah]: initial support for type widening #23

Closed kevinbarabash closed 2 years ago

kevinbarabash commented 2 years ago

This currently only supports widening of TVars and TCons into TUnions. closeOver has been updated to freeze types after they've been inferred. Frozen types are not allowed to be widened.