diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-04-03 12:37:10 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-04-04 04:35:39 -0400 |
| commit | 51fd357119b357c52e990ccce9059c423cc49406 (patch) | |
| tree | f7c597ea5034d7500c49930d50b92446580a0356 /testsuite/tests/ghci | |
| parent | 25c02ea172ef1dad2d12d8baff6ce57a68bf4127 (diff) | |
| download | haskell-51fd357119b357c52e990ccce9059c423cc49406.tar.gz | |
Use funPrec, not topPrec, to parenthesize GADT argument types
A simple oversight. Fixes #16527.
Diffstat (limited to 'testsuite/tests/ghci')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T16527.hs | 7 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T16527.script | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T16527.stdout | 4 | ||||
| -rwxr-xr-x | testsuite/tests/ghci/scripts/all.T | 1 |
4 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T16527.hs b/testsuite/tests/ghci/scripts/T16527.hs new file mode 100644 index 0000000000..d33071155a --- /dev/null +++ b/testsuite/tests/ghci/scripts/T16527.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE GADTs #-} +{-# LANGUAGE RankNTypes #-} +module T16527 where + +data T where + MkT1 :: (Int -> Int) -> T + MkT2 :: (forall a. Maybe a) -> T diff --git a/testsuite/tests/ghci/scripts/T16527.script b/testsuite/tests/ghci/scripts/T16527.script new file mode 100644 index 0000000000..90c3f71f84 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T16527.script @@ -0,0 +1,2 @@ +:load T16527 +:info T diff --git a/testsuite/tests/ghci/scripts/T16527.stdout b/testsuite/tests/ghci/scripts/T16527.stdout new file mode 100644 index 0000000000..fd4e0ef735 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T16527.stdout @@ -0,0 +1,4 @@ +data T where + MkT1 :: (Int -> Int) -> T + MkT2 :: (forall a. Maybe a) -> T + -- Defined at T16527.hs:5:1 diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index 115dfc5dba..eb0a3a5d8e 100755 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -294,3 +294,4 @@ test('T11606', normal, ghci_script, ['T11606.script']) test('T16089', normal, ghci_script, ['T16089.script']) test('T14828', normal, ghci_script, ['T14828.script']) test('T16376', normal, ghci_script, ['T16376.script']) +test('T16527', normal, ghci_script, ['T16527.script']) |