diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-04-25 13:02:39 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-04-25 13:02:39 +0100 |
| commit | 279a594f47541ab1a65a9ab83377d5dc108d8aeb (patch) | |
| tree | fcae5a547bf65e2f17235c9f9092d21b61ae518d /testsuite/tests/polykinds/T6020.hs | |
| parent | c9bb4fa43f05edaab8d05ce98710ca87b329a709 (diff) | |
| parent | e4c802d07b43b34bb510983369be89478c1abdb9 (diff) | |
| download | haskell-279a594f47541ab1a65a9ab83377d5dc108d8aeb.tar.gz | |
Merge branch 'master' of http://darcs.haskell.org//testsuite
Conflicts:
tests/deriving/should_compile/T6031.hs
tests/deriving/should_compile/T6031a.hs
tests/deriving/should_compile/all.T
tests/polykinds/T6020.hs
tests/polykinds/all.T
Diffstat (limited to 'testsuite/tests/polykinds/T6020.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T6020.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/tests/polykinds/T6020.hs b/testsuite/tests/polykinds/T6020.hs index fa7de49030..f9812392a0 100644 --- a/testsuite/tests/polykinds/T6020.hs +++ b/testsuite/tests/polykinds/T6020.hs @@ -1,9 +1,8 @@ {-# LANGUAGE DataKinds, FunctionalDependencies, FlexibleInstances,
UndecidableInstances, PolyKinds, KindSignatures,
ConstraintKinds, FlexibleContexts #-}
-module T6020 where
-import GHC.Prim (Constraint)
+module T6020 where
class Id (a :: k) (b :: k) | a -> b
instance Id a a
@@ -14,4 +13,3 @@ instance (Id x y, Id y z) => Test x z test :: Test True True => ()
test = ()
-foo = test
|