diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T4175.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T4175.stdout | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout index cea9a01264..dbf2f371dd 100644 --- a/testsuite/tests/ghci/scripts/T4175.stdout +++ b/testsuite/tests/ghci/scripts/T4175.stdout @@ -1,4 +1,6 @@ -type family A a b :: * -- Defined at T4175.hs:7:1 +type family A a b + Kind: * -> * -> * + -- Defined at T4175.hs:7:1 type instance A (B a) b = () -- Defined at T4175.hs:10:1 type instance A (Maybe a) a = a -- Defined at T4175.hs:9:1 type instance A Int Int = () -- Defined at T4175.hs:8:1 @@ -7,13 +9,16 @@ instance G B -- Defined at T4175.hs:34:10 data instance B () = MkB -- Defined at T4175.hs:13:15 type instance A (B a) b = () -- Defined at T4175.hs:10:1 class C a where - type family D a b :: * + type family D a b + Kind: * -> * -> * -- Defined at T4175.hs:16:5 type instance D () () = Bool -- Defined at T4175.hs:22:5 type instance D Int () = String -- Defined at T4175.hs:19:5 -type family E a :: * where - E () = Bool - E Int = String +type family E a + Kind: * -> * + where + E () = Bool + E Int = String -- Defined at T4175.hs:24:1 data () = () -- Defined in ‘GHC.Tuple’ instance C () -- Defined at T4175.hs:21:10 |