From 4e354c9e07fb099707d03e3cd48e1d4171996599 Mon Sep 17 00:00:00 2001 From: Andrew Martin Date: Tue, 21 Jul 2015 11:37:09 -0400 Subject: [PATCH] Improve type inference for WidgetT IsString instance --- yesod-core/Yesod/Core/Types.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yesod-core/Yesod/Core/Types.hs b/yesod-core/Yesod/Core/Types.hs index f41bcbd0..d96f10bf 100644 --- a/yesod-core/Yesod/Core/Types.hs +++ b/yesod-core/Yesod/Core/Types.hs @@ -250,7 +250,7 @@ instance (a ~ (), Monad m) => Monoid (WidgetT site m a) where mempty = return () mappend x y = x >> y instance (a ~ (), Monad m) => Semigroup (WidgetT site m a) -instance Monad m => IsString (WidgetT site m ()) where +instance (Monad m, a ~ ()) => IsString (WidgetT site m a) where fromString = toWidget . toHtml . T.pack where toWidget x = WidgetT $ const $ return $ ((), GWData (Body (const x)) mempty mempty mempty mempty mempty mempty)