diff --git a/ghc/tests/typecheck/should_compile/tc094.hs b/ghc/tests/typecheck/should_compile/tc094.hs
new file mode 100644
index 0000000000000000000000000000000000000000..334c34cf18eba4cd10631ef87d13e7d73fb6f158
--- /dev/null
+++ b/ghc/tests/typecheck/should_compile/tc094.hs
@@ -0,0 +1,7 @@
+module ShouldSucceed where
+
+-- From a bug report by Sven Panne.
+
+foo = bar
+   where bar = \_ -> (truncate boing, truncate boing)
+         boing = 0