blob: 344f7f9c3a7de07584e823d707a447d86a548384 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE TypeFamilies #-}
module Refl where
import Data.Kind (Type)
type family T a :: Type -> Type
foo :: a x -> a y
foo = undefined
bar :: a -> T a x -> T a y
bar x t = foo t
{- GHC complains that it could not deduce (T a x ~ T a x) where problem is
that with -dppr-debug, we get "x{tv a7z} [sk]" on the lhs and "x{tv a7C}
[box]" on the rhs
-}
|
