diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2017-09-24 08:54:28 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2017-09-24 09:30:59 +0200 |
| commit | 9c7d0657e2d6c626c6aa7aac061820e8828b857e (patch) | |
| tree | 5b991141560a73ece676bd4c2939dbd53d7c6677 /testsuite/tests/typecheck/should_run | |
| parent | d7b260fef51564a1c87838df391d1367207d9e12 (diff) | |
| download | haskell-9c7d0657e2d6c626c6aa7aac061820e8828b857e.tar.gz | |
Revert "Typeable: Allow App to match arrow types"
This reverts commit cc6be3a2f23c9b2e04f9f491099149e1e1d4d20b.
because it caused the regression #14270 which according to
Richard probably doesn't have an easy fix. So this one goes
back to the drawning board.
This reopens #14236
Diffstat (limited to 'testsuite/tests/typecheck/should_run')
| -rw-r--r-- | testsuite/tests/typecheck/should_run/T14236.hs | 14 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_run/T14236.stdout | 3 | ||||
| -rwxr-xr-x | testsuite/tests/typecheck/should_run/all.T | 1 |
3 files changed, 0 insertions, 18 deletions
diff --git a/testsuite/tests/typecheck/should_run/T14236.hs b/testsuite/tests/typecheck/should_run/T14236.hs deleted file mode 100644 index c08682bc14..0000000000 --- a/testsuite/tests/typecheck/should_run/T14236.hs +++ /dev/null @@ -1,14 +0,0 @@ -{-# LANGUAGE TypeApplications #-} -{-# LANGUAGE MagicHash #-} -import GHC.Exts -import Type.Reflection - -main = do - case typeRep @(Int -> Char) of - App a b -> print (a, b) - - case typeRep @(Int# -> Char) of - App a b -> print (a, b) - - case typeRep @(Int# -> Char) of - App a b -> print $ App a (typeRep @String) diff --git a/testsuite/tests/typecheck/should_run/T14236.stdout b/testsuite/tests/typecheck/should_run/T14236.stdout deleted file mode 100644 index a168ea8d04..0000000000 --- a/testsuite/tests/typecheck/should_run/T14236.stdout +++ /dev/null @@ -1,3 +0,0 @@ -((->) 'LiftedRep 'LiftedRep Int,Char) -((->) 'IntRep 'LiftedRep Int#,Char) -Int# -> [Char] diff --git a/testsuite/tests/typecheck/should_run/all.T b/testsuite/tests/typecheck/should_run/all.T index 1958001d16..3fc1928d4a 100755 --- a/testsuite/tests/typecheck/should_run/all.T +++ b/testsuite/tests/typecheck/should_run/all.T @@ -123,4 +123,3 @@ test('TypeableEq', normal, compile_and_run, ['']) test('T13435', normal, compile_and_run, ['']) test('T11715', exit_code(1), compile_and_run, ['']) test('T13594a', normal, ghci_script, ['T13594a.script']) -test('T14236', normal, compile_and_run, ['']) |