No title

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
 12 import Data.Promotion.TH 
 13 import Data.Singletons.TH
 14 
 15 $(singletons [d|
 16     data Nat where
 17         Z :: Nat
 18         S :: Nat -> Nat
 19 
 20     plus :: Nat -> Nat -> Nat
 21     plus Z x = x
 22     plus (S x) y = S (plus x y)
 23 
 24     minus :: Nat -> Nat -> Nat
 25     minus Z _ = Z
 26     minus m Z = m
 27     minus (S m) (S n) = minus m n
 28   
 29     isEven :: Nat -> Bool
 30     isEven Z = True
 31     isEven (S Z) = False
 32     isEven (S (S n)) = isEven n
 33     |])
 34 

error:

Try.hs:15:3: error:
    The exact Name t_a74f is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74f is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74g is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74h is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74i is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74j is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74i is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74j is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74i is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74j is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74i is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful

Try.hs:15:3: error:
    The exact Name t_a74j is not in scope
      Probable cause: you used a unique Template Haskell name (NameU), 
      perhaps via newName, but did not bind it
      If that's it, then -ddump-splices might be useful
Failed, modules loaded: none.