Sort language pragmas #147
Conversation
|
We're trying to figure out why CI fails for some users. Could you log in into CircleCI and try to click the "restart job" button there and see what happens? |
|
"restart job" button does not appear. "An unauthorized user error" has occurred.
|
|
Thanks for the screenshot: it's very helpful! We'll try to figure out how to fix this. |
|
Apparently for some users CI works, see for example #150 which worked right away. We're puzzled by the behavior. To move forward with the PR, I'm going to restart the build myself. |
|
I'm going to amend this work in order to implement everything mentioned in #20 because it makes sense to handle everything now instead of going back and forth with this. |
|
I couldn't finish this this evening, but the idea here is to extract collection of extensions in a typed way and drop them from raw comments. Then we can just pretty-print the extensions so they have 1) fixed placement relative to other constructs such as module header 2) always totally normalized. Will return to this when I have time. |
The approach we take here is parsing of language pragmas on creation of comment stream and then pretty-printing them in a separate block.
Close #20.