From ee731a025c40926856d0ca8a410bcaa133006c7b Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Mon, 5 Jul 1999 17:02:42 +0000
Subject: [PATCH] [project @ 1999-07-05 17:02:42 by sof] Two new Dark Corner
 regression tests:

- testing the derived Show&Read instances for constructors with
  a field label that is a varsym rather than a varid.
- check that the default fixity & assoc of an operator is 'infixl 9'.
---
 ghc/tests/deriving/should_run/Makefile         |    2 ++
 ghc/tests/deriving/should_run/drvrun004.hs     |   10 ++++++++++
 ghc/tests/deriving/should_run/drvrun004.stdout |    2 ++
 ghc/tests/deriving/should_run/drvrun005.hs     |   22 ++++++++++++++++++++++
 ghc/tests/deriving/should_run/drvrun005.stderr |    2 ++
 5 files changed, 38 insertions(+)
 create mode 100644 ghc/tests/deriving/should_run/drvrun004.hs
 create mode 100644 ghc/tests/deriving/should_run/drvrun004.stdout
 create mode 100644 ghc/tests/deriving/should_run/drvrun005.hs
 create mode 100644 ghc/tests/deriving/should_run/drvrun005.stderr

diff --git a/ghc/tests/deriving/should_run/Makefile b/ghc/tests/deriving/should_run/Makefile
index 9142864..d39565d 100644
--- a/ghc/tests/deriving/should_run/Makefile
+++ b/ghc/tests/deriving/should_run/Makefile
@@ -4,4 +4,6 @@ include $(TOP)/mk/should_run.mk
 
 SRC_HC_OPTS += -dcore-lint
 
+drvrun005_RUNTEST_OPTS += -fail
+
 include $(TOP)/mk/target.mk
diff --git a/ghc/tests/deriving/should_run/drvrun004.hs b/ghc/tests/deriving/should_run/drvrun004.hs
new file mode 100644
index 0000000..f530803
--- /dev/null
+++ b/ghc/tests/deriving/should_run/drvrun004.hs
@@ -0,0 +1,10 @@
+module Main where
+
+data Hash = Hash{ (#) :: Int }
+ deriving (Show, Read)
+
+main =
+  do print s
+     print (read s :: Hash)
+ where
+  s = show (Hash 3)
diff --git a/ghc/tests/deriving/should_run/drvrun004.stdout b/ghc/tests/deriving/should_run/drvrun004.stdout
new file mode 100644
index 0000000..c9f6f36
--- /dev/null
+++ b/ghc/tests/deriving/should_run/drvrun004.stdout
@@ -0,0 +1,2 @@
+"Hash{(#)=3}"
+Hash{(#)=3}
diff --git a/ghc/tests/deriving/should_run/drvrun005.hs b/ghc/tests/deriving/should_run/drvrun005.hs
new file mode 100644
index 0000000..0d21690
--- /dev/null
+++ b/ghc/tests/deriving/should_run/drvrun005.hs
@@ -0,0 +1,22 @@
+module Main where
+
+{-
+  If a fixity declaration hasn't been supplied for
+  an operator, it is defaulted to being "infixl 9".
+
+  The derived Read instances for data types containing
+  left-assoc constructors produces code that causes
+  non-termination if you use 'read' to evaluate them
+  ( (head (reads x)) is cool tho.)
+
+  ==> The inferred assoc for :++ below left & the derived
+  Read instance should fail to terminate (with ghc-4.xx,
+  this is exemplified by having the stack overflow.)
+-}
+-- infixl 9 :++
+data T = T1 |  T :++ T  deriving (Eq,Show, Read)
+
+t :: T
+t = read "T1"
+
+main = print t
diff --git a/ghc/tests/deriving/should_run/drvrun005.stderr b/ghc/tests/deriving/should_run/drvrun005.stderr
new file mode 100644
index 0000000..68c824b
--- /dev/null
+++ b/ghc/tests/deriving/should_run/drvrun005.stderr
@@ -0,0 +1,2 @@
+Stack space overflow: current size 1048576 bytes.
+Use `+RTS -Ksize' to increase it.
-- 
1.7.10.4