@sgued @ekuber the compiler is able to insert a special “error” type into type inference so it can use that to determine when one error might be caused by another. It’s not always possible to determine one error is caused by another, but it’s almost always possible to do better.
=> More informations about this toot | View the thread | More toots from porglezomp@mastodon.social
=> View sgued@pouet.chapril.org profile | View ekuber@hachyderm.io profile
text/geminiThis content has been proxied by September (3851b).