Commit 48bafff1 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #6020

parent f8cc68f1
{-# LANGUAGE DataKinds, FunctionalDependencies, FlexibleInstances,
UndecidableInstances, PolyKinds, KindSignatures,
ConstraintKinds, FlexibleContexts #-}
module T6020 where
import GHC.Prim (Constraint)
class Id (a :: k) (b :: k) | a -> b
instance Id a a
class Test (x :: a) (y :: a) | x -> y
instance (Id x y, Id y z) => Test x z
test :: Test True True => ()
test = ()
foo = test
......@@ -33,3 +33,4 @@ test('T5937', normal, compile, [''])
test('T5935', normal, compile, [''])
test('T5938', normal, compile, [''])
test('T5948', normal, compile, [''])
test('T6020', 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