From 2d875b3e640a47768f0e624403af2309c60bca97 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 15 Aug 2022 12:08:34 -0400 Subject: users-guide: Rephrase the rewrite rule documentation Previously the wording was a tad unclear. Fix this. Closes #21114. --- docs/users_guide/exts/rewrite_rules.rst | 4 ++-- 1 file 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..57b6bf17ac 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 ⟨name⟩ :: ⟨type⟩` pragma with a right-hand-side: :: {-# SPECIALIZE genericLookup :: Table Int b -> Int -> b = intLookup #-} -- cgit v1.2.1