Improve improvement in the constraint solver
[ghc.git] / testsuite / tests / indexed-types / should_fail / T9662.stderr
1
2 T9662.hs:47:8: error:
3     Couldn't match type ‘k’ with ‘Int’
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     Expected type: Exp (((sh :. k) :. m) :. n)
10                    -> Exp (((sh :. m) :. n) :. k)
11       Actual type: Exp
12                      (Tuple (((Atom a0 :. Atom Int) :. Atom Int) :. Atom Int))
13                    -> Exp
14                         (Plain (((Unlifted (Atom a0) :. Exp Int) :. Exp Int) :. Exp Int))
15     Relevant bindings include
16       test :: Shape (((sh :. k) :. m) :. n)
17               -> Shape (((sh :. m) :. n) :. k)
18         (bound at T9662.hs:45:1)
19     In the first argument of ‘backpermute’, namely
20       ‘(modify
21           (atom :. atom :. atom :. atom)
22           (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))’
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:47:8: error:
31     Couldn't match type ‘m’ with ‘Int’
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     Expected type: Exp (((sh :. k) :. m) :. n)
38                    -> Exp (((sh :. m) :. n) :. k)
39       Actual type: Exp
40                      (Tuple (((Atom a0 :. Atom Int) :. Atom Int) :. Atom Int))
41                    -> Exp
42                         (Plain (((Unlifted (Atom a0) :. Exp Int) :. Exp Int) :. Exp Int))
43     Relevant bindings include
44       test :: Shape (((sh :. k) :. m) :. n)
45               -> Shape (((sh :. m) :. n) :. k)
46         (bound at T9662.hs:45:1)
47     In the first argument of ‘backpermute’, namely
48       ‘(modify
49           (atom :. atom :. atom :. atom)
50           (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))’
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:47:8: error:
59     Couldn't match type ‘n’ with ‘Int’
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     Expected type: Exp (((sh :. k) :. m) :. n)
66                    -> Exp (((sh :. m) :. n) :. k)
67       Actual type: Exp
68                      (Tuple (((Atom a0 :. Atom Int) :. Atom Int) :. Atom Int))
69                    -> Exp
70                         (Plain (((Unlifted (Atom a0) :. Exp Int) :. Exp Int) :. Exp Int))
71     Relevant bindings include
72       test :: Shape (((sh :. k) :. m) :. n)
73               -> Shape (((sh :. m) :. n) :. k)
74         (bound at T9662.hs:45:1)
75     In the first argument of ‘backpermute’, namely
76       ‘(modify
77           (atom :. atom :. atom :. atom)
78           (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))’
79     In the expression:
80       backpermute
81         (modify
82            (atom :. atom :. atom :. atom)
83            (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
84         id