On Sunday, October 8, 2017 at 6:48:39 PM UTC+1, art yerkes wrote: > > It's a niggle, but I think it's more correct to say that type inference > isn't completely decidable in the presence of subtyping. >
Fair enough. Even with subtyping, it is sometimes obvious that a type can still be correctly inferred. Unfortunately, not in the general case. -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
