diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2019-11-22 20:44:51 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2019-11-25 14:37:38 +0100 |
| commit | 8b8dc36653878de5556e368bd3e93abf66f839e9 (patch) | |
| tree | 5b02618e49cdcf6a7dc19fa4b5567751d511faba /testsuite/tests/gadt | |
| parent | b694b5662f8c9915b1a9d072cd530cd29124194a (diff) | |
| download | haskell-8b8dc36653878de5556e368bd3e93abf66f839e9.tar.gz | |
Remove prefix arrow support for GADTs (#17211)
This reverts the change in #9096.
The specialcasing done for prefix (->) is brittle and
does not support VTA, type families, type synonyms etc.
Diffstat (limited to 'testsuite/tests/gadt')
| -rw-r--r-- | testsuite/tests/gadt/T9096.hs | 6 | ||||
| -rw-r--r-- | testsuite/tests/gadt/all.T | 1 |
2 files changed, 0 insertions, 7 deletions
diff --git a/testsuite/tests/gadt/T9096.hs b/testsuite/tests/gadt/T9096.hs deleted file mode 100644 index d778798d36..0000000000 --- a/testsuite/tests/gadt/T9096.hs +++ /dev/null @@ -1,6 +0,0 @@ -{-# LANGUAGE GADTs #-} - -module T9096 where - -data Foo a where - MkFoo :: (->) a (Foo a) diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T index be7177445e..29bde94100 100644 --- a/testsuite/tests/gadt/all.T +++ b/testsuite/tests/gadt/all.T @@ -110,7 +110,6 @@ test('T7294', normal, compile, ['']) test('T7321', [], makefile_test, []) test('T7974', normal, compile, ['']) test('T7558', normal, compile_fail, ['']) -test('T9096', normal, compile, ['']) test('T9380', normal, compile_and_run, ['']) test('T12087', normal, compile_fail, ['']) test('T12468', normal, compile_fail, ['']) |