effekt-lang / effekt-lang/effekt

IDE support for regions

Open
#53 0 comments 0 reactions 0 assignees View on GitHub
feature
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:

![image](https://user-images.githubusercontent.com/408265/119263042-bee86580-bbdd-11eb-8750-254018e19fb7.png)

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

![image](https://user-images.githubusercontent.com/408265/119263062-d1629f00-bbdd-11eb-883d-8de982a98362.png)

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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.