Commit 29ac8506 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test :kind and :kind! commands

parent 5695b73d
{-# LANGUAGE TypeFamilies #-}
module GhciKinds where
type family F a :: *
type instance F [a] = a -> F a
type instance F Int = Bool
:kind Int
:kind Maybe
:l GhciKinds
:kind F [[[Int]]]
:kind! F [[[Int]]]
Int :: *
Maybe :: * -> *
F [[[Int]]] :: *
F [[[Int]]] :: *
= [[Int]] -> [Int] -> Int -> Bool
......@@ -106,3 +106,4 @@ test('T5417', normal, ghci_script, ['T5417.script'])
test('T5545', normal, ghci_script, ['T5545.script'])
test('T5557', normal, ghci_script, ['T5557.script'])
test('T5566', normal, ghci_script, ['T5566.script'])
test('GhciKinds', normal, ghci_script, ['GhciKinds.script'])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment