Type mismatch errors don’t include the context

robrix / path

A lambda calculus to explore type-directed program synthesis.

BSD 3-Clause "New" or "Revised" License

83 stars 2 forks source link

Open robrix opened 5 years ago

robrix commented 5 years ago

Type mismatch errors are thrown by the constraint solver and thus don’t have a context. This means that there isn’t a lot of information to go on:

cf #76