Update to GHC 9.6, latest Stackage Nightly, and use BNFC in setup #116
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
fizruk
force-pushed
the
update-to-ghc-9.6
branch
from
ef31637
to
85be97b
Compare
fizruk
force-pushed
the
update-to-ghc-9.6
branch
from
bc9ba6f
to
7ccaed5
Compare
fizruk
force-pushed
the
update-to-ghc-9.6
branch
from
e792071
to
c163b26
Compare
aabounegm
reviewed
Oct 1, 2023
.gitattributes
Outdated
| @@ -0,0 +1,3 @@ | |||
| rzk/grammar/Syntax.cf linguist-language=grammar | |||
There was a problem hiding this comment.
I don't see grammar as a language identifier in languages.yml. Perhaps it should be ABNF or EBNF? Note that either would also require linguist-detectable since they have type: data
There was a problem hiding this comment.
Updated to use EBNF, thanks!
|
With |
I would rather fix the warnings than remove pendantic checks :) |
fizruk
force-pushed
the
update-to-ghc-9.6
branch
4 times, most recently
from
c6e1e27
to
8f3ab43
Compare
fizruk
force-pushed
the
update-to-ghc-9.6
branch
from
8f3ab43
to
9f5d2df
Compare
Merged
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
nightly-2023-09-30printTree(fromLanguage.Rzk.Syntax.Printmodule) — remove indentation for curly braces.gitattributes