diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2020-09-29 14:25:51 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@richarde.dev> | 2020-09-29 14:25:51 -0400 |
| commit | 43eb67b10384cc32110cde64a41e4c3b03b60890 (patch) | |
| tree | 0dd84cc2bf8aae3636f955aed5705f6efbc0b595 | |
| parent | 007940d2fa1ac4f8046989d4af1d088914612a78 (diff) | |
| download | haskell-wip/T18755.tar.gz | |
Add regression test for #18755.wip/T18755
Close #18755
| -rw-r--r-- | testsuite/tests/ghci/scripts/T18755.script | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T18755.stdout | 3 | ||||
| -rwxr-xr-x | testsuite/tests/ghci/scripts/all.T | 1 |
3 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T18755.script b/testsuite/tests/ghci/scripts/T18755.script new file mode 100644 index 0000000000..5ee4e9bdf4 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T18755.script @@ -0,0 +1,2 @@ +:set -fprint-explicit-runtime-reps +:t ($) diff --git a/testsuite/tests/ghci/scripts/T18755.stdout b/testsuite/tests/ghci/scripts/T18755.stdout new file mode 100644 index 0000000000..c69cdfaf37 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T18755.stdout @@ -0,0 +1,3 @@ +($) + :: forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). + (a -> b) -> a -> b diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index 875706b233..6a5fec5f5d 100755 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -319,3 +319,4 @@ test('T17431', normal, ghci_script, ['T17431.script']) test('T17549', normal, ghci_script, ['T17549.script']) test('T17669', [extra_run_opts('-fexternal-interpreter -fobject-code'), expect_broken(17669)], ghci_script, ['T17669.script']) test('T18644', normal, ghci_script, ['T18644.script']) +test('T18755', normal, ghci_script, ['T18755.script']) |