diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-03 12:10:38 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-03 12:10:38 +0100 |
| commit | be98618a238a06fd92e02dfe483797c24cfc10a8 (patch) | |
| tree | ed50eafcda9c1acdd6c4d3435c465eda6a0ea057 /testsuite/tests/polykinds/T8391.hs | |
| parent | 65128ed7812c6e8085c0f0258f23f6afad3a6b50 (diff) | |
| download | haskell-be98618a238a06fd92e02dfe483797c24cfc10a8.tar.gz | |
Test Trac #8391
Diffstat (limited to 'testsuite/tests/polykinds/T8391.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T8391.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T8391.hs b/testsuite/tests/polykinds/T8391.hs new file mode 100644 index 0000000000..0e00a82181 --- /dev/null +++ b/testsuite/tests/polykinds/T8391.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE FunctionalDependencies, FlexibleInstances, + TypeFamilies, + PolyKinds #-} + +module T8391 where + +type Foo a = a + +class Bar a b | a -> b + +instance Bar a (Foo a) |