Fixes around incomplete guards (#20023, #20024)
- Fix linearity error with incomplete MultiWayIf (#20023) - Fix partial pattern binding error message (#20024) - Remove obsolete test LinearPolyTest It tested the special typing rule for ($), which was removed during the implementation of Quick Look 97cff919. - Fix ticket numbers in linear/*/all.T, they referred to linear types issue tracker
Showing
- compiler/GHC/HsToCore/GuardedRHSs.hs 2 additions, 1 deletioncompiler/GHC/HsToCore/GuardedRHSs.hs
- compiler/GHC/HsToCore/Utils.hs 6 additions, 9 deletionscompiler/GHC/HsToCore/Utils.hs
- compiler/GHC/Tc/Errors.hs 2 additions, 2 deletionscompiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Types/EvTerm.hs 4 additions, 11 deletionscompiler/GHC/Tc/Types/EvTerm.hs
- testsuite/tests/deSugar/should_run/T20024.hs 2 additions, 0 deletionstestsuite/tests/deSugar/should_run/T20024.hs
- testsuite/tests/deSugar/should_run/T20024.stderr 2 additions, 0 deletionstestsuite/tests/deSugar/should_run/T20024.stderr
- testsuite/tests/deSugar/should_run/all.T 1 addition, 0 deletionstestsuite/tests/deSugar/should_run/all.T
- testsuite/tests/linear/should_compile/LinearPolyDollar.hs 0 additions, 10 deletionstestsuite/tests/linear/should_compile/LinearPolyDollar.hs
- testsuite/tests/linear/should_compile/T20023.hs 5 additions, 0 deletionstestsuite/tests/linear/should_compile/T20023.hs
- testsuite/tests/linear/should_compile/all.T 2 additions, 2 deletionstestsuite/tests/linear/should_compile/all.T
- testsuite/tests/linear/should_fail/all.T 1 addition, 1 deletiontestsuite/tests/linear/should_fail/all.T
Loading
Please register or sign in to comment