search

GrammaticalFramework / gf-core

Grammatical Framework core: compiler, shell & runtimes
https://www.grammaticalframework.org
Other
131 stars 35 forks source link

Indent each line of error messages #161

Closed anka-213 closed 1 year ago

anka-213 commented 1 year ago

Previously only the first line of an error message was indented.

Changing this makes the error messages easier to parse, both for humans and machines. In addition to looking better it would also help making it easier for gf-lsp to show the errors at the correct location

Before:

PizzaEng.gf:47:1:
   conflicting information in module PizzaEng
    lin Friends = "friends" ;
and
    lin Friends = "other" ;

After

PizzaEng.gf:47:1:
   conflicting information in module PizzaEng
       lin Friends = "friends" ;
   and
       lin Friends = "other" ;
anka-213 commented 1 year ago

I added commits to disable the platforms that github no longer has runners available for, to fix the stuck CI actions.

I also made the build CI actions faster by making them not build gf an extra time just for the tests. This has cut the CI time for the stack builds roughly in half, from 18 minutes to 9 minutes (or 2 hours cpu time vs 1 hour cpu time).