Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T8227.hs
1 {-# LANGUAGE TypeFamilies #-}
2 module T8227
3 (
4 absoluteToParam
5 ) where
6
7 import T8227a
8
9 type family Scalar a :: *
10 type instance Scalar (a -> v) = a -> Scalar v
11
12 arcLengthToParam :: Scalar (V p) -> p -> Scalar (V p) -> Scalar (V p)
13 arcLengthToParam = undefined
14
15 absoluteToParam :: Scalar (V a) -> a -> Scalar (V a)
16 absoluteToParam eps seg = arcLengthToParam eps eps
17
18 {-
19
20 Scalar (V a) ~ Scalar (V p0)
21 Scalar (V a) ~ p0
22 Scalar (V a) ~ Scalar (V p0) -> Scalar (V p0)
23
24 --->
25 Scalar (V a) ~ fuv0
26 Scalar (V p0) ~ fuv1
27 fuv0 ~ fuv1
28 fuv0 ~ p0
29 fuv0 ~ fuv1 -> fuv1
30
31 ---> p0 := fuv0
32
33 Scalar (V a) ~ fuv0 (CFunEqCan)
34 Scalar (V fuv0) ~ fuv1 (CFunEqCan)
35 fuv0 ~ fuv1
36 p0 ~ fuv0
37 fuv0 ~ fuv1 -> fuv1
38
39
40 -}
41
42