Fix quantification order for a `op` b and a %m -> b
Fixes #23764 Implements https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0640-tyop-quantification-order.rst Updates haddock submodule.
Showing
- compiler/GHC/Rename/HsType.hs 8 additions, 5 deletionscompiler/GHC/Rename/HsType.hs
- docs/users_guide/9.12.1-notes.rst 11 additions, 0 deletionsdocs/users_guide/9.12.1-notes.rst
- testsuite/tests/linear/should_compile/MultConstructor.hs 6 additions, 0 deletionstestsuite/tests/linear/should_compile/MultConstructor.hs
- testsuite/tests/linear/should_fail/LinearErrOrigin.stderr 2 additions, 2 deletionstestsuite/tests/linear/should_fail/LinearErrOrigin.stderr
- testsuite/tests/linear/should_fail/LinearVar.stderr 1 addition, 1 deletiontestsuite/tests/linear/should_fail/LinearVar.stderr
- testsuite/tests/typecheck/should_compile/T23764.hs 7 additions, 0 deletionstestsuite/tests/typecheck/should_compile/T23764.hs
- testsuite/tests/typecheck/should_compile/all.T 1 addition, 0 deletionstestsuite/tests/typecheck/should_compile/all.T
- utils/haddock 1 addition, 1 deletionutils/haddock
Loading
Please register or sign in to comment