Commit f5026170 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Test #9085.

parent 9dbf3409
{-# LANGUAGE TypeFamilies #-}
module T9085 where
type family F a where
F a = Int
F Bool = Bool
T9085.hs:7:3: Warning:
Overlapped type family instance equation:
F Bool = Bool
......@@ -243,3 +243,4 @@ test('T8889', normal, compile, [''])
test('T8913', normal, compile, [''])
test('T8978', normal, compile, [''])
test('T8979', normal, compile, [''])
test('T9085', 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