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

Type mismatch errors are pretty-printed on a single line when space allows #78

Closed robrix closed 5 years ago

robrix commented 5 years ago

E.g.:

src/Base/Function.path:14:20: error: type mismatch expected: a   actual: __a19
fix = \ f . f (fix f) 
                   ~  
Local bindings:
  a : Type
  b : Type
  f : (a -> b) -> a -> b

We should always print the expected/actual types on their own lines.