blob: 519987863fe09711e70f68ac22720b608fa26bab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
{-# LANGUAGE RecursiveDo #-}
module TH_recursiveDoImport where
import Data.IORef
import Language.Haskell.TH
data SelfRef = SelfRef (IORef (IORef SelfRef))
recIO :: ExpQ
recIO = [e|
do rec r1 <- newIORef r2
r2 <- newIORef (SelfRef r1)
readIORef r2 |]
mdoIO :: ExpQ
mdoIO = [e|
mdo r1 <- return r2
r2 <- return (const 1 r1)
return r1 |]
emptyRecIO :: ExpQ
emptyRecIO = [e|
do rec {}
return () |]
|
