|
1
|
|
-{-# LANGUAGE RebindableSyntax, TemplateHaskell, OverloadedLists #-}
|
|
|
1
|
+{-# LANGUAGE RebindableSyntax, TemplateHaskell #-}
|
|
2
|
2
|
module T18102b_aux where
|
|
3
|
3
|
|
|
4
|
|
-import Prelude hiding ((>>=), return )
|
|
|
4
|
+import Prelude
|
|
5
|
5
|
import Language.Haskell.TH.Syntax
|
|
6
|
6
|
|
|
7
|
|
-
|
|
8
|
|
-
|
|
9
|
7
|
ifThenElse :: Bool -> Int -> Int -> Int
|
|
10
|
8
|
ifThenElse _ a b = a+b
|
|
11
|
9
|
|
|
12
|
|
-intQuote_TTH :: Code Q Int
|
|
13
|
|
-intQuote_TTH = [|| if True then 10 else 15 ||]
|
|
14
|
|
-
|
|
15
|
|
-intQuote_TH :: Quote m => m Exp
|
|
16
|
|
-intQuote_TH = [| if True then 10 else 15 |]
|
|
17
|
|
-
|
|
18
|
|
-t1 :: Int
|
|
19
|
|
-t1 = if True then 10 else 15
|
|
20
|
|
-
|
|
21
|
|
-
|
|
22
|
|
-(>>=) :: a -> ((forall b . b) -> c) -> c
|
|
23
|
|
-a >>= f = f undefined
|
|
24
|
|
-return _ = 'b'
|
|
25
|
|
-fail s = undefined
|
|
26
|
|
-
|
|
27
|
|
-t2 :: Char
|
|
28
|
|
-t2 = do { return 'k' }
|
|
29
|
|
-
|
|
30
|
|
-charQuote_TTH :: Code Q Char
|
|
31
|
|
-charQuote_TTH = [|| do { return 'k' } ||]
|
|
32
|
|
-
|
|
33
|
|
-charQuote_TH :: Quote m => m Exp
|
|
34
|
|
-charQuote_TH = [| do { return 'k' } |]
|
|
35
|
|
-
|
|
36
|
|
-fromListN :: Int -> [Int] -> [Int]
|
|
37
|
|
-fromListN _ l = replicate (length l) (length l)
|
|
38
|
|
-
|
|
39
|
|
-fromList :: [Int] -> [Int]
|
|
40
|
|
-fromList x = replicate (length x) (length x)
|
|
41
|
|
-
|
|
42
|
|
-
|
|
43
|
|
-t3 :: [Int]
|
|
44
|
|
-t3 = [2..7]
|
|
45
|
|
-
|
|
46
|
|
-seqQuote_TTH :: Code Q [Int]
|
|
47
|
|
-seqQuote_TTH = [|| [2..7] ||]
|
|
48
|
|
-
|
|
49
|
|
-seqQuote_TH :: Quote m => m Exp
|
|
50
|
|
-seqQuote_TH = [| [2..7] |]
|
|
51
|
|
-
|
|
52
|
|
-
|
|
53
|
|
-t4 :: [Int]
|
|
54
|
|
-t4 = [1,2,3]
|
|
55
|
|
-
|
|
56
|
|
-listQuote_TTH :: Code Q [Int]
|
|
57
|
|
-listQuote_TTH = [|| [1,2,3] ||]
|
|
58
|
|
-
|
|
59
|
|
-listQuote_TH :: Quote m => m Exp
|
|
60
|
|
-listQuote_TH = [| [1,2,3] |] |
|
|
10
|
+intQuote :: Code Q Int
|
|
|
11
|
+intQuote = [|| if True then 10 else 15 ||] |