diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-03-13 13:27:22 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-03-15 10:24:01 -0400 |
| commit | 97032ed9b2594c8939cab776ff871051d6dba30a (patch) | |
| tree | f28dde903666e7be0f169857fc8037ea3a2b0ee2 /testsuite/tests | |
| parent | 610ec224a49e092c802a336570fd9613ea15ef3c (diff) | |
| download | haskell-97032ed9b2594c8939cab776ff871051d6dba30a.tar.gz | |
Report better suggestion for GADT data constructor
This addresses issue #16427. An easy fix.
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/gadt/T12087.stderr | 8 | ||||
| -rw-r--r-- | testsuite/tests/gadt/T16427.hs | 5 | ||||
| -rw-r--r-- | testsuite/tests/gadt/T16427.stderr | 7 | ||||
| -rw-r--r-- | testsuite/tests/gadt/all.T | 1 |
4 files changed, 17 insertions, 4 deletions
diff --git a/testsuite/tests/gadt/T12087.stderr b/testsuite/tests/gadt/T12087.stderr index 03f2465c7a..0039e98657 100644 --- a/testsuite/tests/gadt/T12087.stderr +++ b/testsuite/tests/gadt/T12087.stderr @@ -9,27 +9,27 @@ T12087.hs:6:3: error: T12087.hs:9:3: error: • GADT constructor type signature cannot contain nested ‘forall’s or contexts Suggestion: instead use this type signature: - MkF2 :: forall a. (Ord a, Eq a) => F2 a + MkF2 :: forall a. (Ord a, Eq a) => a -> F2 a • In the definition of data constructor ‘MkF2’ In the data type declaration for ‘F2’ T12087.hs:12:3: error: • GADT constructor type signature cannot contain nested ‘forall’s or contexts Suggestion: instead use this type signature: - MkF3 :: forall a b. (Eq a, Eq b) => b -> F3 a + MkF3 :: forall a b. (Eq a, Eq b) => a -> b -> F3 a • In the definition of data constructor ‘MkF3’ In the data type declaration for ‘F3’ T12087.hs:15:3: error: • GADT constructor type signature cannot contain nested ‘forall’s or contexts Suggestion: instead use this type signature: - MkF4 :: forall a b. (Eq a, Eq b) => b -> F4 a + MkF4 :: forall a b. (Eq a, Eq b) => a -> b -> F4 a • In the definition of data constructor ‘MkF4’ In the data type declaration for ‘F4’ T12087.hs:18:3: error: • GADT constructor type signature cannot contain nested ‘forall’s or contexts Suggestion: instead use this type signature: - MkF5 :: forall a b. a -> Int -> Int -> b -> F5 a + MkF5 :: forall a b. Int -> Int -> a -> Int -> Int -> b -> F5 a • In the definition of data constructor ‘MkF5’ In the data type declaration for ‘F5’ diff --git a/testsuite/tests/gadt/T16427.hs b/testsuite/tests/gadt/T16427.hs new file mode 100644 index 0000000000..3bcbb7a464 --- /dev/null +++ b/testsuite/tests/gadt/T16427.hs @@ -0,0 +1,5 @@ +{-# LANGUAGE RankNTypes, GADTs #-} + +module T16427 where + +data D where C :: Int -> forall b . b -> D diff --git a/testsuite/tests/gadt/T16427.stderr b/testsuite/tests/gadt/T16427.stderr new file mode 100644 index 0000000000..1c80190e29 --- /dev/null +++ b/testsuite/tests/gadt/T16427.stderr @@ -0,0 +1,7 @@ + +T16427.hs:5:14: error: + • GADT constructor type signature cannot contain nested ‘forall’s or contexts + Suggestion: instead use this type signature: + C :: forall b. Int -> b -> D + • In the definition of data constructor ‘C’ + In the data type declaration for ‘D’ diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T index 86a9b0c910..bffb34ac00 100644 --- a/testsuite/tests/gadt/all.T +++ b/testsuite/tests/gadt/all.T @@ -119,3 +119,4 @@ test('T14719', normal, compile_fail, ['-fdiagnostics-show-caret']) test('T14808', normal, compile, ['']) test('T15009', normal, compile, ['']) test('T15558', normal, compile, ['']) +test('T16427', normal, compile_fail, ['']) |