4 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T17500.hs b/testsuite/tests/ghci/scripts/T17500.hs
new file mode 100644
index 0000000000..a3e05741a7
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T17500.hs
@@ -0,0 +1,8 @@
+module T17500 where
+
+import Data.List ( isInfixOf )
+
+isBCOsFile :: String -> IO Bool
+isBCOsFile fname = do
+    content <- readFile fname
+    pure $ "== Proto-BCOs ==" `isInfixOf` content  -- Check title line
diff --git a/testsuite/tests/ghci/scripts/T17500.script b/testsuite/tests/ghci/scripts/T17500.script
new file mode 100644
index 0000000000..f8ea5e9166
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T17500.script
@@ -0,0 +1,10 @@
+:l T17500
+b = 42
+:{
+fac :: Integer -> Integer
+fac 0 = 1
+fac n = n * fac (n - 1)
+:}
+isBCOsFile "T17500.dump-BCOs"
+isBCOsFile "Ghci1.dump-BCOs"
+isBCOsFile "Ghci2.dump-BCOs"
diff --git a/testsuite/tests/ghci/scripts/T17500.stdout b/testsuite/tests/ghci/scripts/T17500.stdout
new file mode 100644
index 0000000000..b8ca7e7ef0
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T17500.stdout
@@ -0,0 +1,3 @@
+True
+True
+True
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T
index 6fec18bd92..b9b534ca9e 100755
--- a/testsuite/tests/ghci/scripts/all.T
+++ b/testsuite/tests/ghci/scripts/all.T
@@ -319,6 +319,7 @@ test('T17345', normal, ghci_script, ['T17345.script'])
 test('T17384', normal, ghci_script, ['T17384.script'])
 test('T17403', normal, ghci_script, ['T17403.script'])
 test('T17431', normal, ghci_script, ['T17431.script'])
+test('T17500', [extra_run_opts('-ddump-to-file -ddump-bcos')], ghci_script, ['T17500.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('T18501', normal, ghci_script, ['T18501.script'])