From e77f6bd7099f4249c7961f794a7f1fd27921bece Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20D=C3=ADaz?= <dhelta.diaz@gmail.com>
Date: Sun, 23 Aug 2015 22:49:04 +0200
Subject: [PATCH 1/2] Do not use reify unless the type name is in scope. Assume
 arity 0 when the type is not in scope.

---
 yesod-core/Yesod/Core/Internal/TH.hs | 33 ++++++++++++++++------------
 1 file changed, 19 insertions(+), 14 deletions(-)

diff --git a/yesod-core/Yesod/Core/Internal/TH.hs b/yesod-core/Yesod/Core/Internal/TH.hs
index 22445c51..370c691a 100644
--- a/yesod-core/Yesod/Core/Internal/TH.hs
+++ b/yesod-core/Yesod/Core/Internal/TH.hs
@@ -9,7 +9,7 @@ module Yesod.Core.Internal.TH where
 import Prelude hiding (exp)
 import Yesod.Core.Handler
 
-import Language.Haskell.TH
+import Language.Haskell.TH hiding (cxt)
 import Language.Haskell.TH.Syntax
 
 import qualified Network.Wai as W
@@ -76,17 +76,22 @@ mkYesodGeneral :: String                   -- ^ foundation type
                -> Bool                     -- ^ is this a subsite
                -> [ResourceTree String]
                -> Q([Dec],[Dec])
-mkYesodGeneral name args isSub resS = do
-    info <- reify $ mkName name
-    let arity =
-          case info of
-            TyConI dec ->
-              case dec of
-                DataD _ _ vs _ _ -> length vs
-                NewtypeD _ _ vs _ _ -> length vs
-                _ -> 0
-            _ -> 0
-        (mtys,ptys) = partitionEithers args
+mkYesodGeneral namestr args isSub resS = do
+    mname <- lookupTypeName namestr
+    arity <- case mname of
+               Just name -> do
+                 info <- reify name
+                 return $
+                   case info of
+                     TyConI dec ->
+                       case dec of
+                         DataD _ _ vs _ _ -> length vs
+                         NewtypeD _ _ vs _ _ -> length vs
+                         _ -> 0
+                     _ -> 0
+               _ -> return 0
+    let name = mkName namestr
+        (mtys,_) = partitionEithers args
     -- Generate as many variable names as the arity indicates
     vns <- replicateM (arity - length mtys) $ newName "t"
         -- Base type (site type with variables)
@@ -103,13 +108,13 @@ mkYesodGeneral name args isSub resS = do
 #endif
                                           ) ts ++ cs )
                  ) ([],vns,[]) args
-        site = foldl' AppT (ConT $ mkName name) argtypes
+        site = foldl' AppT (ConT name) argtypes
         res = map (fmap parseType) resS
     renderRouteDec <- mkRenderRouteInstance site res
     routeAttrsDec  <- mkRouteAttrsInstance site res
     dispatchDec    <- mkDispatchInstance site cxt res
     parse <- mkParseRouteInstance site res
-    let rname = mkName $ "resources" ++ name
+    let rname = mkName $ "resources" ++ namestr
     eres <- lift resS
     let resourcesDec =
             [ SigD rname $ ListT `AppT` (ConT ''ResourceTree `AppT` ConT ''String)

From 5375bacf8183039c3c7fa2eeafffa627cc08f4ed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20D=C3=ADaz?= <dhelta.diaz@gmail.com>
Date: Sun, 23 Aug 2015 22:53:13 +0200
Subject: [PATCH 2/2] Placed App after mkYesod in the RawResponse test.

---
 yesod-core/test/YesodCoreTest/RawResponse.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/yesod-core/test/YesodCoreTest/RawResponse.hs b/yesod-core/test/YesodCoreTest/RawResponse.hs
index e4977afb..fd71a16a 100644
--- a/yesod-core/test/YesodCoreTest/RawResponse.hs
+++ b/yesod-core/test/YesodCoreTest/RawResponse.hs
@@ -24,14 +24,14 @@ import Data.Streaming.Network (bindPortTCP)
 import Network.HTTP.Types (status200)
 import Blaze.ByteString.Builder (fromByteString)
 
-data App = App
-
 mkYesod "App" [parseRoutes|
 / HomeR GET
 /wai-stream WaiStreamR GET
 /wai-app-stream WaiAppStreamR GET
 |]
 
+data App = App
+
 instance Yesod App
 
 getHomeR :: Handler ()