From 7897f09dca59c154fd67b9f23cbe62939e059baa Mon Sep 17 00:00:00 2001 From: Tom Ellis Date: Sat, 1 Jun 2024 14:31:26 +0100 Subject: [PATCH] Correct Haddock link: link to Sing pattern, not Sing type family --- singletons/src/Data/Singletons.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/singletons/src/Data/Singletons.hs b/singletons/src/Data/Singletons.hs index 4da69f43..b4f742e8 100644 --- a/singletons/src/Data/Singletons.hs +++ b/singletons/src/Data/Singletons.hs @@ -233,7 +233,7 @@ various drawbacks: -- 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 'Sing' pattern synonym. +-- see 'withSingI' or the v'Sing' pattern synonym. #if __GLASGOW_HASKELL__ >= 900 type SingI :: forall {k}. k -> Constraint #endif