# Changeset View

Changeset View

# Standalone View

Standalone View

# testsuite/tests/typecheck/should_compile/T15368.stderr

- This file was added.

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

2 | T15368.hs:9:15: warning: [-Wtyped-holes (in -Wdefault)] | ||||

3 | • Found hole: _ :: (F a b, F a0 b0) | ||||

4 | Where: ‘a0’ is an ambiguous type variable | ||||

5 | ‘b0’ is an ambiguous type variable | ||||

6 | ‘a’, ‘b’ are rigid type variables bound by | ||||

7 | the type signature for: | ||||

8 | trigger :: forall a b. a -> b -> (F a b, F b a) | ||||

9 | at T15368.hs:8:1-35 | ||||

10 | • In the first argument of ‘transitive’, namely ‘_’ | ||||

11 | In the expression: _ `transitive` trigger _ _ | ||||

12 | In an equation for ‘trigger’: | ||||

13 | trigger _ _ = _ `transitive` trigger _ _ | ||||

14 | • Relevant bindings include | ||||

15 | trigger :: a -> b -> (F a b, F b a) (bound at T15368.hs:9:1) | ||||

16 | | ||||

17 | T15368.hs:9:15: warning: [-Wdeferred-type-errors (in -Wdefault)] | ||||

18 | • Couldn't match type ‘F b a’ with ‘F b0 a0’ | ||||

19 | Expected type: (F a b, F b a) | ||||

20 | Actual type: (F a b, F b0 a0) | ||||

21 | NB: ‘F’ is a non-injective type family | ||||

22 | The type variables ‘b0’, ‘a0’ are ambiguous | ||||

23 | • In the expression: _ `transitive` trigger _ _ | ||||

24 | In an equation for ‘trigger’: | ||||

25 | trigger _ _ = _ `transitive` trigger _ _ | ||||

26 | • Relevant bindings include | ||||

27 | trigger :: a -> b -> (F a b, F b a) (bound at T15368.hs:9:1) | ||||

28 | | ||||

29 | T15368.hs:9:38: warning: [-Wtyped-holes (in -Wdefault)] | ||||

30 | • Found hole: _ :: a0 | ||||

31 | Where: ‘a0’ is an ambiguous type variable | ||||

32 | • In the first argument of ‘trigger’, namely ‘_’ | ||||

33 | In the second argument of ‘transitive’, namely ‘trigger _ _’ | ||||

34 | In the expression: _ `transitive` trigger _ _ | ||||

35 | • Relevant bindings include | ||||

36 | trigger :: a -> b -> (F a b, F b a) (bound at T15368.hs:9:1) | ||||

37 | | ||||

38 | T15368.hs:9:40: warning: [-Wtyped-holes (in -Wdefault)] | ||||

39 | • Found hole: _ :: b0 | ||||

40 | Where: ‘b0’ is an ambiguous type variable | ||||

41 | • In the second argument of ‘trigger’, namely ‘_’ | ||||

42 | In the second argument of ‘transitive’, namely ‘trigger _ _’ | ||||

43 | In the expression: _ `transitive` trigger _ _ | ||||

44 | • Relevant bindings include | ||||

45 | trigger :: a -> b -> (F a b, F b a) (bound at T15368.hs:9:1) |