diff options
author | Ben Gamari <bgamari.foss@gmail.com> | 2018-10-15 13:36:16 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-10-15 17:41:48 -0400 |
commit | 846fe90464a1916df4ea72659255963a596eec84 (patch) | |
tree | 4068367730bcd359b51eb94fd982d3d89041d552 | |
parent | a816ac48b01bfc2419c11c9f2ef999e9bda7e95f (diff) | |
download | haskell-846fe90464a1916df4ea72659255963a596eec84.tar.gz |
Typeable: Only render saturated tuple types with tuple syntax
This isn't as efficient as it could be since it needs to compute the
kind of the type. However, this is `show` so there shouldn't be any
particular expectation of speed.
Fixes #14341.
Test Plan: Validate
Reviewers: hvr
Subscribers: monoidal, rwbarton, carter
GHC Trac Issues: #14341
Differential Revision: https://phabricator.haskell.org/D5080
-rw-r--r-- | libraries/base/Data/Typeable/Internal.hs | 6 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_run/T14341.hs | 9 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_run/T14341.stdout | 3 | ||||
-rwxr-xr-x | testsuite/tests/typecheck/should_run/all.T | 1 |
4 files changed, 18 insertions, 1 deletions
diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs index 0d4fc825cf..06d225adb7 100644 --- a/libraries/base/Data/Typeable/Internal.hs +++ b/libraries/base/Data/Typeable/Internal.hs @@ -773,7 +773,11 @@ showTypeable _ TrType = showChar '*' showTypeable _ rep | isListTyCon tc, [ty] <- tys = showChar '[' . shows ty . showChar ']' - | isTupleTyCon tc = + + -- Take care only to render saturated tuple tycon applications + -- with tuple notation (#14341). + | isTupleTyCon tc, + Just _ <- TrType `eqTypeRep` typeRepKind rep = showChar '(' . showArgs (showChar ',') tys . showChar ')' where (tc, tys) = splitApps rep showTypeable _ (TrTyCon {trTyCon = tycon, trKindVars = []}) diff --git a/testsuite/tests/typecheck/should_run/T14341.hs b/testsuite/tests/typecheck/should_run/T14341.hs new file mode 100644 index 0000000000..72d2f63b1e --- /dev/null +++ b/testsuite/tests/typecheck/should_run/T14341.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE TypeApplications #-} + +import Type.Reflection + +main :: IO () +main = do + print $ typeRep @((,,)) + print $ typeRep @((,,) Int) + print $ typeRep @((,,) Int Int Int) diff --git a/testsuite/tests/typecheck/should_run/T14341.stdout b/testsuite/tests/typecheck/should_run/T14341.stdout new file mode 100644 index 0000000000..ea3d3441a2 --- /dev/null +++ b/testsuite/tests/typecheck/should_run/T14341.stdout @@ -0,0 +1,3 @@ +(,,) +(,,) Int +(Int,Int,Int)
\ No newline at end of file diff --git a/testsuite/tests/typecheck/should_run/all.T b/testsuite/tests/typecheck/should_run/all.T index a96c2b71c5..4f75c70119 100755 --- a/testsuite/tests/typecheck/should_run/all.T +++ b/testsuite/tests/typecheck/should_run/all.T @@ -136,3 +136,4 @@ test('T13838', [exit_code(1), omit_ways(['ghci'])], compile_and_run, ['-fdefer-t test('T14218', normal, compile_and_run, ['']) test('T14236', normal, compile_and_run, ['']) test('T14925', normal, compile_and_run, ['']) +test('T14341', normal, compile_and_run, ['']) |