diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-12-21 12:26:12 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-12-21 12:26:24 +0000 |
commit | c469db4e5e8814e4a4f1ed7f648514bedb800c25 (patch) | |
tree | f4afa2a7869396553a33c426037377d7ea83097a | |
parent | 1a4c04b13a695a530ee24835a7550a8c9ed2d37a (diff) | |
download | haskell-c469db4e5e8814e4a4f1ed7f648514bedb800c25.tar.gz |
Test Trac #12950
-rw-r--r-- | testsuite/tests/deSugar/should_compile/T12950.hs | 17 | ||||
-rw-r--r-- | testsuite/tests/deSugar/should_compile/all.T | 1 |
2 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T12950.hs b/testsuite/tests/deSugar/should_compile/T12950.hs new file mode 100644 index 0000000000..a7fd2e39f0 --- /dev/null +++ b/testsuite/tests/deSugar/should_compile/T12950.hs @@ -0,0 +1,17 @@ +{-# LANGUAGE TypeFamilies #-} + +{-# OPTIONS_GHC -O #-} + +module T12950 where + +class C a where + type TF a; m :: a -> TF a + +instance C Int where + type TF Int = String; m = show + +overloaded :: C a => a -> (a,TF a) +{-# INLINABLE overloaded #-} +overloaded a = (a,m a) + +{-# SPECIALIZE overloaded :: Int -> (Int,TF Int) #-} diff --git a/testsuite/tests/deSugar/should_compile/all.T b/testsuite/tests/deSugar/should_compile/all.T index a7316024da..6d026db3fb 100644 --- a/testsuite/tests/deSugar/should_compile/all.T +++ b/testsuite/tests/deSugar/should_compile/all.T @@ -106,3 +106,4 @@ test('DsStrictWarn', normal, compile, ['']) test('T10662', normal, compile, ['-Wall']) test('T11414', normal, compile, ['']) test('T12944', normal, compile, ['']) +test('T12950', normal, compile, ['']) |