search

isovector / dynahaskell

the dynabook but for haskell
BSD 3-Clause "New" or "Revised" License
23 stars 2 forks source link

Highlight type errors #7

Open isovector opened 4 years ago

isovector commented 4 years ago

Type errors occur in the typechecked source as HsWrap _ (WpCast _) badExpr. Annotate these things after #6; and provide an editing target for type errors.