1 files changed, 34 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail177.hs b/testsuite/tests/typecheck/should_fail/tcfail177.hs
new file mode 100644
index 0000000000..d9e60e96fc
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/tcfail177.hs
@@ -0,0 +1,34 @@
+module ShouldFail where
+
+-- See Trac #1176
+-- This is really a pretty-printer test, not a typechecker test
+-- The more infix ops we have, the worse fsep works
+
+-- Currently the error message looks ok, however
+
+allTests :: Bool
+allTests = foo
+           [a ~?= b
+           ,"Three" ~?= "3"
+           ,"Four" ~?= "4"
+           ,"Five" ~?= "5"
+           ,"Five" ~?= "5"
+           ,"Five" ~?= "5"
+           ,"Five" ~?= "5"
+           ,"Five" ~?= "5"
+           ,"Five" ~?= "5"
+           ,"Two", "Two", "Two" 
+           ,"Two", "Two", "Two" 
+           ,"Two", "Two", "Two" 
+           ,"Two", "Two", "Two" 
+           ,"Two", "Two", "Two" 
+           ,"Two", "Two", "Two"] 
+
+a=""
+b=""
+
+(~?=) :: a -> a -> Bool
+(~?=) = error "urk" 
+
+foo :: a -> Int
+foo x = 0