Skip to content

Provide span information in messages

Fredrik Wieczerkowski requested to merge message-spans into master

Fixes #17 (closed)

This branch provides span information (instead of just positions) in messages and performs the necessary migrations. To make migration easier, a backwards-compatible posMessage function is kept which creates single-character span messages from a position.

The related changes to the frontend can be found here: curry-frontend!26 (merged).

Edited by Fredrik Wieczerkowski

Merge request reports