3cdc60a18c64ea6c9728a5105b6104ba9221d414
[ghc.git] / testsuite / tests / indexed-types / should_fail / T9662.stderr
1
2 T9662.hs:47:8: error:
3     • Couldn't match type ‘m’ with ‘Int’
4       ‘m’ is a rigid type variable bound by
5         the type signature for:
6           test :: forall sh k m n.
7                   Shape (((sh :. k) :. m) :. n) -> Shape (((sh :. m) :. n) :. k)
8         at T9662.hs:44:1-50
9       Expected type: Exp (((sh :. m) :. n) :. k)
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     • In the first argument of ‘backpermute’, namely
16         ‘(modify
17             (atom :. atom :. atom :. atom)
18             (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))’
19       In the expression:
20         backpermute
21           (modify
22              (atom :. atom :. atom :. atom)
23              (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
24           id
25       In an equation for ‘test’:
26           test
27             = backpermute
28                 (modify
29                    (atom :. atom :. atom :. atom)
30                    (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
31                 id
32     • Relevant bindings include
33         test :: Shape (((sh :. k) :. m) :. n)
34                 -> Shape (((sh :. m) :. n) :. k)
35           (bound at T9662.hs:45:1)