summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2022-08-15 12:08:34 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-08-16 14:34:47 -0400
commita4212edccceaec475d4aca240cbfe9db98b77d33 (patch)
tree43a51a01ffe75bc8767cd36193946c817799ec62
parenta14e6ae3f880ad2c9645a6b99a551734eda802c0 (diff)
downloadhaskell-a4212edccceaec475d4aca240cbfe9db98b77d33.tar.gz
users-guide: Rephrase the rewrite rule documentation
Previously the wording was a tad unclear. Fix this. Closes #21114.
-rw-r--r--docs/users_guide/exts/rewrite_rules.rst4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/exts/rewrite_rules.rst b/docs/users_guide/exts/rewrite_rules.rst
index 7da423f42e..36c523f032 100644
--- a/docs/users_guide/exts/rewrite_rules.rst
+++ b/docs/users_guide/exts/rewrite_rules.rst
@@ -438,8 +438,8 @@ earlier versions of GHC. For example, suppose that: ::
where ``intLookup`` is an implementation of ``genericLookup`` that works
very fast for keys of type ``Int``. You might wish to tell GHC to use
``intLookup`` instead of ``genericLookup`` whenever the latter was
-called with type ``Table Int b -> Int -> b``. It used to be possible to
-write ::
+called with type ``Table Int b -> Int -> b``. It used to be possible to write a
+:pragma:`SPECIALIZE` pragma with a right-hand-side: ::
{-# SPECIALIZE genericLookup :: Table Int b -> Int -> b = intLookup #-}