search

effekt-lang / effekt

A language with lexical effect handlers and lightweight effect polymorphism
https://effekt-lang.org
MIT License
334 stars 24 forks source link

Improve the error when an effect is not fully known #678

Closed b-studios closed 2 weeks ago

b-studios commented 2 weeks ago

Addresses #663 (even though it doesn't remove the root cause).

We improve the message by

  1. mentioning the…… unknown types and
  2. providing a hint what to do.
image