Commit 1be154d8 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Unix line endings for T5938

parent 458673e8
{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
module T5938 where
type family KindFam a
type instance KindFam (a :: *) = Int
type instance KindFam (a :: Bool) = Bool
type instance KindFam (a :: Maybe k) = Char -- doesn't work
{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
module T5938 where
type family KindFam a
type instance KindFam (a :: *) = Int
type instance KindFam (a :: Bool) = Bool
type instance KindFam (a :: Maybe k) = Char -- doesn't work
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