Restrict Linear arrow %1 to exactly literal 1 only
This disallows `a %001 -> b`, and makes sure the type literal is printed from its SourceText so it is clear why. Closes #18888
parent
14ce454f
No related branches found
No related tags found
Pipeline #27132 canceled
Stage: tool-lint
Stage: quick-build
Stage: lint
Stage: build
Stage: full-build
Stage: packaging
Stage: testing
Stage: deploy
Showing
- compiler/GHC/Hs/Type.hs 2 additions, 2 deletionscompiler/GHC/Hs/Type.hs
- compiler/GHC/Parser/PostProcess.hs 2 additions, 1 deletioncompiler/GHC/Parser/PostProcess.hs
- testsuite/tests/linear/should_fail/T18888.hs 5 additions, 0 deletionstestsuite/tests/linear/should_fail/T18888.hs
- testsuite/tests/linear/should_fail/T18888.stderr 3 additions, 0 deletionstestsuite/tests/linear/should_fail/T18888.stderr
- testsuite/tests/linear/should_fail/T18888_datakinds.hs 6 additions, 0 deletionstestsuite/tests/linear/should_fail/T18888_datakinds.hs
- testsuite/tests/linear/should_fail/T18888_datakinds.stderr 5 additions, 0 deletionstestsuite/tests/linear/should_fail/T18888_datakinds.stderr
- testsuite/tests/linear/should_fail/all.T 2 additions, 0 deletionstestsuite/tests/linear/should_fail/all.T
Loading
-
mentioned in merge request !4369 (closed)
-
mentioned in commit e57ea51e
-
mentioned in commit 25a24e5d
Please register or sign in to comment