diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_run/T4809.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_run/T4809.hs | 18 |
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 |