From 43eb67b10384cc32110cde64a41e4c3b03b60890 Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Tue, 29 Sep 2020 14:25:51 -0400 Subject: Add regression test for #18755. Close #18755 --- testsuite/tests/ghci/scripts/T18755.script | 2 ++ testsuite/tests/ghci/scripts/T18755.stdout | 3 +++ testsuite/tests/ghci/scripts/all.T | 1 + 3 files changed, 6 insertions(+) create mode 100644 testsuite/tests/ghci/scripts/T18755.script create mode 100644 testsuite/tests/ghci/scripts/T18755.stdout 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']) -- cgit v1.2.1