Commit 1cd2e3e8 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test for second bug in Trac #5716

parent 1be154d8
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
module T5716a where
data family DF a
data instance DF a = Bar (Bar a)
T5716a.hs:10:1:
Cycle in type declarations: data constructor used (in a type) before it is defined
T5716a.hs:10:1-32: data instance DF a = Bar (Bar a)
......@@ -29,6 +29,7 @@ test('T5862', normal, compile, [''])
test('T5912', normal, compile, [''])
test('T5881', normal, run_command, ['$MAKE -s --no-print-directory T5881'])
test('T5716', normal, compile_fail, [''])
test('T5716a', normal, compile_fail, [''])
test('T5937', normal, compile, [''])
test('T5935', normal, compile, [''])
test('T5938', normal, compile, [''])
......
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