Mark Lacey 23c677ff52 [Constraint system] Hoist some code into a separate function. ...

The naming here might not be perfect as it's not the only place that we
bind types to typevars in matchTypes, but it is a step towards cleaning
things up a bit. I'll revisit naming after I get a better idea what
other common code there may be that can get factored out.

2017-09-10 01:32:13 -07:00

191 KiB

Raw Blame History

View Raw