# Changeset View

Changeset View

# Standalone View

Standalone View

# testsuite/tests/typecheck/should_fail/T12177.stderr

- This file was added.

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

2 | T12177.hs:3:19: error: | ||||

3 | • Found hole: _ :: t | ||||

4 | Where: ‘t’ is a rigid type variable bound by | ||||

5 | the inferred type of bar :: t2 -> t1 -> t | ||||

6 | at T12177.hs:3:1-19 | ||||

7 | • In the expression: _ | ||||

8 | In the expression: \ x -> _ | ||||

9 | In the expression: \ x -> \ x -> _ | ||||

10 | • Relevant bindings include | ||||

11 | x :: t1 (bound at T12177.hs:3:14) | ||||

12 | bar :: t2 -> t1 -> t (bound at T12177.hs:3:1) | ||||

13 | | ||||

14 | T12177.hs:5:37: error: | ||||

15 | • Found hole: _ :: t | ||||

16 | Where: ‘t’ is a rigid type variable bound by | ||||

17 | the inferred type of baz :: t5 -> t4 -> t3 -> t2 -> t1 -> t | ||||

18 | at T12177.hs:5:1-37 | ||||

19 | • In the expression: _ | ||||

20 | In the expression: \ z -> _ | ||||

21 | In the expression: \ x -> \ z -> _ | ||||

22 | • Relevant bindings include | ||||

23 | z :: t1 (bound at T12177.hs:5:32) | ||||

24 | x :: t2 (bound at T12177.hs:5:26) | ||||

25 | y :: t4 (bound at T12177.hs:5:14) | ||||

26 | baz :: t5 -> t4 -> t3 -> t2 -> t1 -> t | ||||

27 | (bound at T12177.hs:5:1) | ||||

28 | | ||||

29 | No newline at end of file |