Improve inference and handling of union types - Githubissues

kevinbarabash / compiler

2 stars 0 forks source link

Improve inference and handling of union types #28

Closed kevinbarabash closed 2 years ago

kevinbarabash commented 2 years ago

This PR makes the following changes:

adds id to function and union types allowing these types to be widened (in addition to type variables and type constructors)
flattens union types
removes duplicate type constructors with no params from union types

I'm punting on better union type deduplication for the time being.