# Changeset View

Changeset View

# Standalone View

Standalone View

# testsuite/tests/th/T7276a.stdout

1 | 1 | | |||
---|---|---|---|---|---|

2 | <interactive>:3:9: Warning: | 2 | <interactive>:3:9: warning: | ||

3 | Couldn't match type ‘[Dec]’ with ‘Exp’ | 3 | Couldn't match type ‘[Dec]’ with ‘Exp’ | ||

4 | Expected type: Q Exp | 4 | Expected type: Q Exp | ||

5 | Actual type: DecsQ | 5 | Actual type: DecsQ | ||

6 | In the expression: [d| a = () |] :: Q Exp | 6 | In the expression: [d| a = () |] :: Q Exp | ||

7 | In an equation for ‘x’: x = [d| a = () |] :: Q Exp | 7 | In an equation for ‘x’: x = [d| a = () |] :: Q Exp | ||

8 | 8 | | |||

9 | <interactive>:1:1: | 9 | <interactive>:1:1: error: | ||

10 | Exception when trying to run compile-time code: | 10 | Exception when trying to run compile-time code: | ||

11 | <interactive>:3:9: | 11 | <interactive>:3:9: error: | ||

12 | Couldn't match type ‘[Dec]’ with ‘Exp’ | 12 | Couldn't match type ‘[Dec]’ with ‘Exp’ | ||

13 | Expected type: Q Exp | 13 | Expected type: Q Exp | ||

14 | Actual type: DecsQ | 14 | Actual type: DecsQ | ||

15 | In the expression: [d| a = () |] :: Q Exp | 15 | In the expression: [d| a = () |] :: Q Exp | ||

16 | In an equation for ‘x’: x = [d| a = () |] :: Q Exp | 16 | In an equation for ‘x’: x = [d| a = () |] :: Q Exp | ||

17 | (deferred type error) | 17 | (deferred type error) | ||

18 | Code: x | 18 | Code: x | ||

19 | In the untyped splice: $x | 19 | In the untyped splice: $x |