summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2021-06-30 22:56:25 +0100
committerMatthew Pickering <matthewtpickering@gmail.com>2021-07-07 15:08:10 +0100
commit9ff8cdb4f468e8ae22ac3b197f04feadc10d4602 (patch)
tree0b740cee077226b7d560b28e9c53cc9815fac23d
parent1709111472f966f6e571227b035e749f953535a2 (diff)
downloadhaskell-wip/t13157.tar.gz
Add test for #13157wip/t13157
Closes #13157
-rw-r--r--testsuite/tests/simplCore/should_compile/T13157.hs4
-rw-r--r--testsuite/tests/simplCore/should_compile/T13157.stderr11
-rw-r--r--testsuite/tests/simplCore/should_compile/all.T1
3 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T13157.hs b/testsuite/tests/simplCore/should_compile/T13157.hs
new file mode 100644
index 0000000000..a6332a7171
--- /dev/null
+++ b/testsuite/tests/simplCore/should_compile/T13157.hs
@@ -0,0 +1,4 @@
+module T13157 where
+
+f g x = (case g x of True -> not
+ False -> id) `seq` True
diff --git a/testsuite/tests/simplCore/should_compile/T13157.stderr b/testsuite/tests/simplCore/should_compile/T13157.stderr
new file mode 100644
index 0000000000..53ce644ae8
--- /dev/null
+++ b/testsuite/tests/simplCore/should_compile/T13157.stderr
@@ -0,0 +1,11 @@
+
+==================== Tidy Core ====================
+Result size of Tidy Core
+ = {terms: 9, types: 10, coercions: 0, joins: 0/0}
+
+-- RHS size: {terms: 8, types: 5, coercions: 0, joins: 0/0}
+f = \ @t g x ->
+ case g x of { __DEFAULT -> True }
+
+
+
diff --git a/testsuite/tests/simplCore/should_compile/all.T b/testsuite/tests/simplCore/should_compile/all.T
index ed45e9dc65..a276aa6e3d 100644
--- a/testsuite/tests/simplCore/should_compile/all.T
+++ b/testsuite/tests/simplCore/should_compile/all.T
@@ -247,6 +247,7 @@ test('T13468',
test('T13543', only_ways(['optasm']), compile, ['-ddump-str-signatures -ddump-cpr-signatures'])
test('T11272', normal, makefile_test, ['T11272'])
test('T12600', normal, makefile_test, ['T12600'])
+test('T13157', normal, compile, ['-ddump-simpl -dno-typeable-binds -dsuppress-uniques -dsuppress-all -O'])
test('T13658', normal, compile, ['-dcore-lint'])
test('T14779a', normal, compile, ['-dcore-lint'])
test('T14779b', normal, compile, ['-dcore-lint'])