Spec information in Errors

metaborg / nabl

Spoofax' Name Binding Language

Apache License 2.0

7 stars 12 forks source link

Closed AZWN closed 1 year ago

AZWN commented 1 year ago

Short description When there is an error (exception) in the Statix solver, there is no information what part of a specification caused it.

Problem description.

Describe the solution you'd like

Describe alternatives you've considered

Additional context

AZWN commented 1 year ago

Solved by 591bef3963cae3841e3131b1a6a59a9d358637a3