diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-08-06 14:50:35 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-08-06 14:50:35 +0100 |
| commit | 64dba5119fdecb4a5b6a2993919a963d02171783 (patch) | |
| tree | fc138b981c5d2fe204b2d84b6d5a3a256ba977bb /testsuite | |
| parent | 294553e960404bf9765eae6891b5800ae5127879 (diff) | |
| download | haskell-64dba5119fdecb4a5b6a2993919a963d02171783.tar.gz | |
Test Trac #10742
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/polykinds/T10742.hs | 14 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/all.T | 1 |
2 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T10742.hs b/testsuite/tests/polykinds/T10742.hs new file mode 100644 index 0000000000..3b0b1a778f --- /dev/null +++ b/testsuite/tests/polykinds/T10742.hs @@ -0,0 +1,14 @@ +{-# LANGUAGE GADTs #-} +{-# LANGUAGE DataKinds #-} +{-# LANGUAGE TypeOperators #-} +{-# OPTIONS_GHC -fno-warn-redundant-constraints #-} + +module T10742 where + +import GHC.TypeLits + +data T a where MkT :: T Int + +test :: ((x <=? y) ~ 'True, (y <=? z) ~ 'True) + => proxy x y z -> () +test _ = case MkT of MkT -> () diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index 55041dcc4c..c073c1b344 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -120,3 +120,4 @@ test('T10570', normal, compile_fail, ['']) test('T10670', normal, compile, ['']) test('T10670a', normal, compile, ['']) test('T10134', normal, multimod_compile, ['T10134.hs','-v0']) +test('T10742', normal, compile, ['']) |