search

robrix / path

A lambda calculus to explore type-directed program synthesis.
BSD 3-Clause "New" or "Revised" License
84 stars 2 forks source link

Multiple errors within a file are logged in reverse order #66

Closed robrix closed 5 years ago

robrix commented 5 years ago

We produce multiple elaboration errors now (cf #24), but they’re logged in the reverse order that they occur in in the file. For example:

screen shot 2018-12-26 at 8 19 31 pm