diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-08-15 12:08:34 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2022-08-15 16:56:59 -0400 |
commit | c57075ebbed5dc8ae82902999b9f5ae5f3e83b0e (patch) | |
tree | fc651eaa3c66b860f63d9bcc8fb975e108d70af4 | |
parent | f2e24ce0c156b2d43a71ecf0f631c98fe25d5c3d (diff) | |
download | haskell-wip/T22052.tar.gz |
users-guide: Rephrase the rewrite rule documentationwip/T22052
Previously the wording was a tad unclear. Fix this.
Closes #21114.
-rw-r--r-- | docs/users_guide/exts/rewrite_rules.rst | 4 |
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 #-} |