1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_run/T4809.hs b/testsuite/tests/typecheck/should_run/T4809.hs
new file mode 100644
index 0000000000..0c0b50826c
--- /dev/null
+++ b/testsuite/tests/typecheck/should_run/T4809.hs
@@ -0,0 +1,18 @@
+{- # LANGUAGE MonoLocalBinds # -}
+module Main where
+
+import T4809_IdentityT (IdentityT(..), XML, runIdentityT)
+import T4809_XMLGenerator (XMLGenT(..), XMLGen(genElement), Child, EmbedAsChild(..), unXMLGenT)
+import System.IO (BufferMode(..), hSetBuffering, stdout)
+
+page :: XMLGenT (IdentityT IO) XML
+page = genElement (Nothing, "ul") [] [ asChild (asChild "foo")]
+--    where
+--       item :: XMLGenT (IdentityT IO) [Child (IdentityT IO)]
+--       item = (asChild $ asChild (return "bar" :: XMLGenT (IdentityT IO) String))
+
+main :: IO ()
+main =
+    do hSetBuffering stdout LineBuffering 
+       r <- runIdentityT (unXMLGenT page)
+       print r