icicle-lang / icicle-ambiata

A streaming query language.
BSD 3-Clause "New" or "Revised" License
57 stars 11 forks source link

Improve errors for partial bindings #662

Closed HuwCampbell closed 6 years ago

HuwCampbell commented 6 years ago

Print a nicer function type when displaying partial application errors.

Example:

feature injury ~> let x = is_some ~> x action

Gives a nasty type, with the function rendered as

Option <interactive>-110 -> Bool

With this change it becomes

Option a -> Bool