Commit 31ffbaf3 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add new sub-directory indexed-types to the GHC testsuite

parent ec102106
TOP=../../..
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/test.mk
test('ind1', normal, compile, [''])
{-# OPTIONS -findexed-types #-}
-- Test type families
module ShouldCompile where
data family T a :: *
data instance T Bool = TBool !Bool
class C a where
foo :: (a -> a) -> T a -> T a
instance C Bool where
foo f (TBool x) = TBool $ f (not x)
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