blob: 2edeaaeb3f03dffad1fd89d00b93791b243ed5d3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
<interactive>:4:9: Warning:
Couldn't match type ‛[Dec]’ with ‛Exp’
Expected type: Q Exp
Actual type: DecsQ
In the expression: [d| a = () |] :: Q Exp
In an equation for ‛x’: x = [d| a = () |] :: Q Exp
<interactive>:1:1:
Exception when trying to run compile-time code:
<interactive>:4:9:
Couldn't match type ‛[Dec]’ with ‛Exp’
Expected type: Q Exp
Actual type: DecsQ
In the expression: [d| a = () |] :: Q Exp
In an equation for ‛x’: x = [d| a = () |] :: Q Exp
(deferred type error)
Code: x
In the splice: $x
|
