Commit f76d68d3 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu Committed by Krzysztof Gogolewski
Browse files

New tests for #8368.

parent 80d2a085
{-# LANGUAGE TypeFamilies, GADTs #-}
module T8368 where
data Foo = Bar
data family Fam a
data instance Fam a where
MkFam :: Foo
\ No newline at end of file
T8368.hs:9:3:
Data constructor ‛MkFam’ returns type ‛Foo’
instead of an instance of its parent type ‛Fam’
In the definition of data constructor ‛MkFam’
In the data instance declaration for ‛Fam’
{-# LANGUAGE TypeFamilies, GADTs #-}
module T8368a where
data family Fam a b
data instance Fam Int b where
MkFam :: Fam Bool b
\ No newline at end of file
T8368a.hs:7:3:
Data constructor ‛MkFam’ returns type ‛Fam Bool b’
instead of an instance of its parent type ‛Fam Int b’
In the definition of data constructor ‛MkFam’
In the data instance declaration for ‛Fam’
......@@ -116,3 +116,5 @@ test('T8129',
run_command,
['$MAKE -s --no-print-directory T8129'])
test('T8368', normal, compile_fail, [''])
test('T8368a', normal, compile_fail, [''])
\ No newline at end of file
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