3e84e4ac4ac998332e6cdb79d4daca0fc57347ff
[ghc.git] / testsuite / tests / indexed-types / should_fail / T9662.stderr
1
2 T9662.hs:49:7:
3     Couldn't match type ‘k’ with ‘n’
4       ‘k’ is a rigid type variable bound by
5           the type signature for
6             test :: Shape (((sh :. k) :. m) :. n)
7                     -> Shape (((sh :. m) :. n) :. k)
8           at T9662.hs:44:9
9       ‘n’ is a rigid type variable bound by
10           the type signature for
11             test :: Shape (((sh :. k) :. m) :. n)
12                     -> Shape (((sh :. m) :. n) :. k)
13           at T9662.hs:44:9
14     Expected type: Exp (((sh :. m) :. n) :. k)
15                    -> Exp (((sh :. k) :. m) :. n)
16       Actual type: Exp (((sh :. k) :. m) :. n)
17                    -> Exp (((sh :. k) :. m) :. n)
18     Relevant bindings include
19       test :: Shape (((sh :. k) :. m) :. n)
20               -> Shape (((sh :. m) :. n) :. k)
21         (bound at T9662.hs:45:1)
22     In the second argument of ‘backpermute’, namely ‘id’
23     In the expression:
24       backpermute
25         (modify
26            (atom :. atom :. atom :. atom)
27            (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
28         id
29
30 T9662.hs:49:7:
31     Couldn't match type ‘m’ with ‘k’
32       ‘m’ is a rigid type variable bound by
33           the type signature for
34             test :: Shape (((sh :. k) :. m) :. n)
35                     -> Shape (((sh :. m) :. n) :. k)
36           at T9662.hs:44:9
37       ‘k’ is a rigid type variable bound by
38           the type signature for
39             test :: Shape (((sh :. k) :. m) :. n)
40                     -> Shape (((sh :. m) :. n) :. k)
41           at T9662.hs:44:9
42     Expected type: Exp (((sh :. m) :. n) :. k)
43                    -> Exp (((sh :. k) :. m) :. n)
44       Actual type: Exp (((sh :. k) :. m) :. n)
45                    -> Exp (((sh :. k) :. m) :. n)
46     Relevant bindings include
47       test :: Shape (((sh :. k) :. m) :. n)
48               -> Shape (((sh :. m) :. n) :. k)
49         (bound at T9662.hs:45:1)
50     In the second argument of ‘backpermute’, namely ‘id’
51     In the expression:
52       backpermute
53         (modify
54            (atom :. atom :. atom :. atom)
55            (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
56         id
57
58 T9662.hs:49:7:
59     Couldn't match type ‘n’ with ‘m’
60       ‘n’ is a rigid type variable bound by
61           the type signature for
62             test :: Shape (((sh :. k) :. m) :. n)
63                     -> Shape (((sh :. m) :. n) :. k)
64           at T9662.hs:44:9
65       ‘m’ is a rigid type variable bound by
66           the type signature for
67             test :: Shape (((sh :. k) :. m) :. n)
68                     -> Shape (((sh :. m) :. n) :. k)
69           at T9662.hs:44:9
70     Expected type: Exp (((sh :. m) :. n) :. k)
71                    -> Exp (((sh :. k) :. m) :. n)
72       Actual type: Exp (((sh :. k) :. m) :. n)
73                    -> Exp (((sh :. k) :. m) :. n)
74     Relevant bindings include
75       test :: Shape (((sh :. k) :. m) :. n)
76               -> Shape (((sh :. m) :. n) :. k)
77         (bound at T9662.hs:45:1)
78     In the second argument of ‘backpermute’, namely ‘id’
79     In the expression:
80       backpermute
81         (modify
82            (atom :. atom :. atom :. atom)
83            (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
84         id