diff options
| author | HE, Tao <sighingnow@gmail.com> | 2018-01-31 21:40:03 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-01-31 23:29:31 -0500 |
| commit | ced9fbd3913e1316498961bc389bfb1e141221a1 (patch) | |
| tree | c10546df39d77c02bab6ac37d8922343cf9eb364 /testsuite/tests/parser | |
| parent | e4ab65bd57b2c39f4af52879654514bb6d5b42a0 (diff) | |
| download | haskell-ced9fbd3913e1316498961bc389bfb1e141221a1.tar.gz | |
UnboxedTuples can't be used as constraints
Fixes #14740.
Test Plan: make test TEST="14740"
Reviewers: bgamari, simonpj
Reviewed By: simonpj
Subscribers: simonpj, rwbarton, thomie, carter
GHC Trac Issues: #14740
Differential Revision: https://phabricator.haskell.org/D4359
Diffstat (limited to 'testsuite/tests/parser')
| -rw-r--r-- | testsuite/tests/parser/should_fail/T14740.hs | 6 | ||||
| -rw-r--r-- | testsuite/tests/parser/should_fail/T14740.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/parser/should_fail/all.T | 1 |
3 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/parser/should_fail/T14740.hs b/testsuite/tests/parser/should_fail/T14740.hs new file mode 100644 index 0000000000..b56687f051 --- /dev/null +++ b/testsuite/tests/parser/should_fail/T14740.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE UnboxedTuples #-} + +module T14740 where + +x :: ((##)) => () +x = () diff --git a/testsuite/tests/parser/should_fail/T14740.stderr b/testsuite/tests/parser/should_fail/T14740.stderr new file mode 100644 index 0000000000..8827873e25 --- /dev/null +++ b/testsuite/tests/parser/should_fail/T14740.stderr @@ -0,0 +1,4 @@ + +T14740.hs:5:7: + Expecting a lifted type, but ‘(# #)’ is unlifted + In the type signature: x :: ((# #)) => () diff --git a/testsuite/tests/parser/should_fail/all.T b/testsuite/tests/parser/should_fail/all.T index 6f6331ff06..ef47ed3394 100644 --- a/testsuite/tests/parser/should_fail/all.T +++ b/testsuite/tests/parser/should_fail/all.T @@ -106,6 +106,7 @@ test('T8501b', normal, compile_fail, ['']) test('T8501c', normal, compile_fail, ['']) test('T12610', normal, compile_fail, ['']) test('T14588', normal, compile_fail, ['']) +test('T14740', normal, compile_fail, ['']) test('NoNumericUnderscores0', normal, compile_fail, ['']) test('NoNumericUnderscores1', normal, compile_fail, ['']) |