Commit a7a6f78a authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

A new GADT test, which killed FC temporarily

parent f858980b
......@@ -23,6 +23,7 @@ test('gadt17', normal, run_command_ignore_output, ['$MAKE gadt17'])
clean(['Gadt17_help.hi', 'Gadt17_help.o'])
test('gadt18', normal, compile, [''])
test('gadt19', normal, compile, [''])
test('red-black', normal, compile, [''])
test('type-rep', skip_if_fast, compile_and_run, [''])
......
{-# OPTIONS -fglasgow-exts #-}
-- Involves an equality that is not an existential
module Foo2 where
data T t a where
T :: a -> T () a
foo :: (a -> a) -> T t a -> T t a
foo f (T x) = T (f x)
bar :: T t Int -> T t Int
bar t@(T _) = foo (+1) t
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