effekt-lang / effekt-lang/effekt
IDE support for regions
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
Right now the traces generated by region errors are displayed as individual error / info / warning messages.
Currently the Problems panel lists the trace like:

Also "Go to next Problem" already is a quite convenient interface.

This could be heavily improved by:
1. making use of the structure of the trace and allowing users to navigate through the trace
2. allow go-to-definition like navigation for names that show up in region sets.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.