Open jcoopere opened 9 years ago
Thanks @jcoopere! This looks pretty close, though I think we need to restructure the inference method a little bit.
@rdblue I think these most recent changes address your feedback, but let me know if I misunderstood anything. The areCompatibleTypes(...) method may be overly permissive.
areCompatibleTypes(...)
Thanks @jcoopere! This looks pretty close, though I think we need to restructure the inference method a little bit.