Commit f4f00c0f authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #11187

parent 602889aa
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
module T11187 where
import Data.Type.Coercion
type family X
coercionXX :: Coercion X X
coercionXX = Coercion
coercionXX1 :: Coercion X X
coercionXX1 = c where
c :: x ~ X => Coercion x x
c = Coercion
coercionXX2 :: Coercion X X
coercionXX2 = c where c = Coercion
......@@ -265,3 +265,4 @@ test('T10753', normal, compile, [''])
test('T10806', normal, compile_fail, [''])
test('T10815', normal, compile, [''])
test('T10931', normal, compile, [''])
test('T11187', 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