From de7007f41fa5aa00d13a47c409ce5d5d257a540f Mon Sep 17 00:00:00 2001 From: Tom Ellis Date: Sat, 1 Jun 2024 14:06:24 +0100 Subject: [PATCH] Fix Haddock This single quotes weren't treated specially by Haddock, because they don't enclose a single identifier. --- singletons/src/Data/Singletons.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/singletons/src/Data/Singletons.hs b/singletons/src/Data/Singletons.hs index b4f742e8..7107fc54 100644 --- a/singletons/src/Data/Singletons.hs +++ b/singletons/src/Data/Singletons.hs @@ -229,8 +229,8 @@ various drawbacks: -- @ -- -- Here, @f@ uses methods from both 'SingI' and 'SingKind'. However, the shape --- of each constraint is rather different: using 'sing' requires a 'SingI T' --- constraint, whereas using 'fromSing' requires a 'SingKind K' constraint. +-- of each constraint is rather different: using 'sing' requires a @SingI T@ +-- constraint, whereas using 'fromSing' requires a @SingKind K@ constraint. -- -- If you need to satisfy this constraint with an explicit singleton, please -- see 'withSingI' or the v'Sing' pattern synonym.