Allow untyped brackets in typed splices and vice versa.
Resolves #24190 Apparently the check was essentially always (as far as I can trace back: d0d47ba7), and while it does catch some mismatches, the type-checker will catch them too. OTOH, it prevents writing completely reasonable programs.
Showing
- compiler/GHC/Rename/Splice.hs 36 additions, 6 deletionscompiler/GHC/Rename/Splice.hs
- testsuite/tests/th/T24190.hs 11 additions, 0 deletionstestsuite/tests/th/T24190.hs
- testsuite/tests/th/T24190.stdout 2 additions, 0 deletionstestsuite/tests/th/T24190.stdout
- testsuite/tests/th/TH_NestedSplicesFail3.stderr 7 additions, 4 deletionstestsuite/tests/th/TH_NestedSplicesFail3.stderr
- testsuite/tests/th/TH_NestedSplicesFail4.stderr 7 additions, 3 deletionstestsuite/tests/th/TH_NestedSplicesFail4.stderr
- testsuite/tests/th/all.T 1 addition, 0 deletionstestsuite/tests/th/all.T
Please register or sign in to comment