search

metaborg / spoofax-pie

Spoofax implementation using PIE pipelines
Apache License 2.0
12 stars 9 forks source link

Statix: support for traces and term depth configuration #75

Closed AZWN closed 3 years ago

AZWN commented 3 years ago

In order to debug Statix specifications, it would be useful to be able to control the stack trace length and the term depth of the messages that are generated.

Gohla commented 3 years ago

@AZWN In Spoofax 2, this is configurable per-project right? We do not yet have project-specific settings in Spoofax 3, and this is something that I want to spend some design time on to get it right in Spoofax 3. Would it be fine for now to have this configurable per-language, and overridable per-project in the future? And what do you think the defaults should be?

AZWN commented 3 years ago

Yes, a per-language solution would be fine for now. The Spoofax 2 defaults are: 0 for stack trace length, and 3 for term depth.

Gohla commented 3 years ago

Implemented in https://github.com/metaborg/spoofax-pie/commit/21fc3f3a1d6687fac8361bce6d3a1b901cf65970