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

Flags to control the level of detail in error/warning output #80

Open robrix opened 5 years ago

robrix commented 5 years ago

We should have flags to control how much detail we show in warnings/errors. E.g. whether to include global bindings in contexts (cf #53), how many equations to list in the context for type mismatch errors (cf #67), etc.

cf #23 for flags controlling which warnings to output