diff options
author | Austin Seipp <austin@well-typed.com> | 2015-03-21 20:12:55 -0500 |
---|---|---|
committer | Austin Seipp <austin@well-typed.com> | 2015-03-21 20:13:28 -0500 |
commit | 854fd12358fef51848c2eb5e7e08d9c8cec43e16 (patch) | |
tree | f8b8dd12373793ba3e722fc49c67ddcc4482e3b3 | |
parent | 1cc46b1fd5ce794d3a1519c65dcf4aded317598b (diff) | |
download | haskell-854fd12358fef51848c2eb5e7e08d9c8cec43e16.tar.gz |
testsuite: add test for #10177
Signed-off-by: Austin Seipp <austin@well-typed.com>
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T10177.hs | 10 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T10177.hs b/testsuite/tests/typecheck/should_compile/T10177.hs new file mode 100644 index 0000000000..fd84396f67 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T10177.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE PolyKinds #-} +{-# LANGUAGE FlexibleContexts #-} +module T10177 where + +import Data.Typeable + +newtype V n a = V [a] + +class Typeable a => C a +instance (Typeable (V n), Typeable a) => C (V n a) diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index a4b497e993..d4e71c709e 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -444,3 +444,4 @@ test('T10031', normal, compile, ['']) test('T10072', normal, compile_fail, ['']) test('T10100', normal, compile, ['']) test('T10156', normal, compile, ['']) +test('T10177', normal, compile, ['']) |