| ... |
... |
@@ -104,7 +104,7 @@ Compiler |
|
104
|
104
|
|
|
105
|
105
|
- Polymorphic specialisation has been reenabled by default in optimisation levels 1 and higher (:ghc-ticket:`23559`)
|
|
106
|
106
|
|
|
107
|
|
-- An improved error message is introduced to refer users to the heap-controlling flags of the RTS when there is a heap overflow during compilation. (#25198)
|
|
|
107
|
+- An improved error message is introduced to refer users to the heap-controlling flags of the RTS when there is a heap overflow during compilation. (:ghc-ticket:`25198`)
|
|
108
|
108
|
|
|
109
|
109
|
- The kind checker now does a better job of finding type family instances for
|
|
110
|
110
|
use in the kinds of other declarations in the same module. This fixes a number
|
| ... |
... |
@@ -118,14 +118,14 @@ Compiler |
|
118
|
118
|
subordinate import lists (:ghc-ticket:`22581`).
|
|
119
|
119
|
|
|
120
|
120
|
- A new flag, :ghc-flag:`-Wuseless-specialisations`, controls warnings emitted when GHC
|
|
121
|
|
- determines that a SPECIALISE pragma would have no effect.
|
|
|
121
|
+ determines that a ``SPECIALISE`` pragma would have no effect.
|
|
122
|
122
|
|
|
123
|
|
-- A new flag, :ghc-flag:`-Wrule-lhs-equalities`, controls warnings emitted for RULES
|
|
|
123
|
+- A new flag, :ghc-flag:`-Wrule-lhs-equalities`, controls warnings emitted for ``RULES``
|
|
124
|
124
|
whose left-hand side attempts to quantify over equality constraints that
|
|
125
|
125
|
previous GHC versions accepted quantifying over. GHC will now drop such RULES,
|
|
126
|
126
|
emitting a warning message controlled by this flag.
|
|
127
|
127
|
|
|
128
|
|
- This warning is intended to give visibility to the fact that the RULES that
|
|
|
128
|
+ This warning is intended to give visibility to the fact that the ``RULES`` that
|
|
129
|
129
|
previous GHC versions generated in such circumstances could never fire.
|
|
130
|
130
|
|
|
131
|
131
|
- A new flag, :ghc-flag:`-Wunusable-unpack-pragmas`, controls warnings emitted
|