From 369746bf1e22a6ac834c6beeae70035dd710fb3c Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Sat, 26 Jul 1997 23:33:57 +0000
Subject: [PATCH] [project @ 1997-07-26 23:33:04 by sof]

---
 ghc/tests/rename/Makefile                     |    8 +
 ghc/tests/rename/should_compile/Int10.hi      |   14 +
 ghc/tests/rename/should_compile/Makefile      |   18 +
 ghc/tests/rename/should_compile/Rn016.hi      |   12 +
 ghc/tests/rename/should_compile/Rn017.hi      |    9 +
 ghc/tests/rename/should_compile/rn003.hs      |    9 +
 ghc/tests/rename/should_compile/rn005.hs      |    8 +
 ghc/tests/rename/should_compile/rn006.hs      |   14 +
 ghc/tests/rename/should_compile/rn006.stderr  |    2 +
 ghc/tests/rename/should_compile/rn009.hs      |    2 +
 ghc/tests/rename/should_compile/rn010.hs      |   12 +
 ghc/tests/rename/should_compile/rn011.hs      |  102 +++++
 ghc/tests/rename/should_compile/rn012.hs      |   52 +++
 ghc/tests/rename/should_compile/rn013.hs      |   21 +
 ghc/tests/rename/should_compile/rn016.hs      |    7 +
 ghc/tests/rename/should_compile/rn017.hs      |   14 +
 ghc/tests/rename/should_compile/rn019.hs      |    4 +
 ghc/tests/rename/should_compile/rn020.hs      |   11 +
 ghc/tests/rename/should_compile/rn022.hs      |   11 +
 ghc/tests/rename/should_compile/rn022.stderr  |    6 +
 ghc/tests/rename/should_compile/rn023.hs      |    3 +
 ghc/tests/rename/should_compile/rn024.hs      |    9 +
 ghc/tests/rename/should_compile/timing001.hs  |  507 ++++++++++++++++++++++++
 ghc/tests/rename/should_compile/timing002.hs  |  504 ++++++++++++++++++++++++
 ghc/tests/rename/should_compile/timing003.hs  |  508 +++++++++++++++++++++++++
 ghc/tests/rename/should_fail/Makefile         |   14 +
 ghc/tests/rename/should_fail/rnfail001.hs     |    3 +
 ghc/tests/rename/should_fail/rnfail001.stderr |    5 +
 ghc/tests/rename/should_fail/rnfail002.hs     |   10 +
 ghc/tests/rename/should_fail/rnfail002.stderr |    8 +
 ghc/tests/rename/should_fail/rnfail003.hs     |    4 +
 ghc/tests/rename/should_fail/rnfail003.stderr |    8 +
 ghc/tests/rename/should_fail/rnfail004.hs     |    8 +
 ghc/tests/rename/should_fail/rnfail004.stderr |    7 +
 ghc/tests/rename/should_fail/rnfail005.stderr |    8 +
 ghc/tests/rename/should_fail/rnfail007.hs     |    5 +
 ghc/tests/rename/should_fail/rnfail007.stderr |    5 +
 ghc/tests/rename/should_fail/rnfail008.hs     |   19 +
 ghc/tests/rename/should_fail/rnfail008.stderr |   13 +
 ghc/tests/rename/should_fail/rnfail009.hs     |    5 +
 ghc/tests/rename/should_fail/rnfail009.stderr |    8 +
 ghc/tests/rename/should_fail/rnfail010.hs     |    6 +
 ghc/tests/rename/should_fail/rnfail010.stderr |    8 +
 ghc/tests/rename/should_fail/rnfail011.hs     |    6 +
 ghc/tests/rename/should_fail/rnfail011.stderr |    8 +
 ghc/tests/rename/should_fail/rnfail012.hs     |    9 +
 ghc/tests/rename/should_fail/rnfail012.stderr |    8 +
 ghc/tests/rename/should_fail/rnfail013.hs     |    9 +
 ghc/tests/rename/should_fail/rnfail013.stderr |    8 +
 ghc/tests/rename/should_fail/rnfail014.hs     |   17 +
 ghc/tests/rename/should_fail/rnfail014.stderr |   17 +
 51 files changed, 2093 insertions(+)
 create mode 100644 ghc/tests/rename/Makefile
 create mode 100644 ghc/tests/rename/should_compile/Int10.hi
 create mode 100644 ghc/tests/rename/should_compile/Makefile
 create mode 100644 ghc/tests/rename/should_compile/Rn016.hi
 create mode 100644 ghc/tests/rename/should_compile/Rn017.hi
 create mode 100644 ghc/tests/rename/should_compile/rn003.hs
 create mode 100644 ghc/tests/rename/should_compile/rn003.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn005.hs
 create mode 100644 ghc/tests/rename/should_compile/rn005.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn006.hs
 create mode 100644 ghc/tests/rename/should_compile/rn006.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn009.hs
 create mode 100644 ghc/tests/rename/should_compile/rn009.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn010.hs
 create mode 100644 ghc/tests/rename/should_compile/rn010.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn011.hs
 create mode 100644 ghc/tests/rename/should_compile/rn011.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn012.hs
 create mode 100644 ghc/tests/rename/should_compile/rn012.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn013.hs
 create mode 100644 ghc/tests/rename/should_compile/rn013.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn016.hs
 create mode 100644 ghc/tests/rename/should_compile/rn016.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn017.hs
 create mode 100644 ghc/tests/rename/should_compile/rn017.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn018.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn019.hs
 create mode 100644 ghc/tests/rename/should_compile/rn020.hs
 create mode 100644 ghc/tests/rename/should_compile/rn022.hs
 create mode 100644 ghc/tests/rename/should_compile/rn022.stderr
 create mode 100644 ghc/tests/rename/should_compile/rn023.hs
 create mode 100644 ghc/tests/rename/should_compile/rn024.hs
 create mode 100644 ghc/tests/rename/should_compile/timing001.hs
 create mode 100644 ghc/tests/rename/should_compile/timing001.stderr
 create mode 100644 ghc/tests/rename/should_compile/timing002.hs
 create mode 100644 ghc/tests/rename/should_compile/timing002.stderr
 create mode 100644 ghc/tests/rename/should_compile/timing003.hs
 create mode 100644 ghc/tests/rename/should_compile/timing003.stderr
 create mode 100644 ghc/tests/rename/should_fail/Makefile
 create mode 100644 ghc/tests/rename/should_fail/rnfail001.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail001.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail002.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail002.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail003.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail003.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail004.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail004.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail005.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail007.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail007.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail008.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail008.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail009.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail009.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail010.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail010.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail011.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail011.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail012.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail012.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail013.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail013.stderr
 create mode 100644 ghc/tests/rename/should_fail/rnfail014.hs
 create mode 100644 ghc/tests/rename/should_fail/rnfail014.stderr

diff --git a/ghc/tests/rename/Makefile b/ghc/tests/rename/Makefile
new file mode 100644
index 0000000..6d5951c
--- /dev/null
+++ b/ghc/tests/rename/Makefile
@@ -0,0 +1,8 @@
+TOP = ..
+include $(TOP)/mk/boilerplate.mk
+
+SUBDIRS = should_fail should_compile
+
+include $(TOP)/mk/target.mk
+
+
diff --git a/ghc/tests/rename/should_compile/Int10.hi b/ghc/tests/rename/should_compile/Int10.hi
new file mode 100644
index 0000000..0a8d000
--- /dev/null
+++ b/ghc/tests/rename/should_compile/Int10.hi
@@ -0,0 +1,14 @@
+_interface_ Int10 1
+_exports_
+Int10 T1(C1) T2(T2C1 T2C2) T3(T3C1 T3C2 T3C3) T4(T4C1 T4C2 T4C3 T4C4) T5(T5C1 T5C2 T5C3 T5C4 T5C5) T6(T6C6) T7(T7C6 T7C7) ;
+_declarations_
+1 data T1 a = C1 a;
+1 data T2 a b = T2C1 a | T2C2 b ;
+1 data T3 a b c = T3C1 a | T3C2 b | T3C3 c ;
+1 data T4 a b c d = T4C1 a | T4C2 b | T4C3 c | T4C4 d ;
+1 data T5 a b c d e = T5C1 a | T5C2 b | T5C3 c | T5C4 d | T5C5 e ;
+1 data T6 a = T6C6 a ;
+1 data T7 a b = T7C6 a | T7C7 b ;
+1 data T8 a b c = T8C1 a | T8C2 b | T8C3 c ;
+1 data T9 a b c d = T9C1 a | T9C2 b | T9C3 c | T9C4 d ;
+1 data T10 a b c d e = T10C1 a | T10C2 b | T10C3 c | T10C4 d | T10C5 e ;
diff --git a/ghc/tests/rename/should_compile/Makefile b/ghc/tests/rename/should_compile/Makefile
new file mode 100644
index 0000000..e1bca8d
--- /dev/null
+++ b/ghc/tests/rename/should_compile/Makefile
@@ -0,0 +1,18 @@
+TOP = ../../../..
+include $(TOP)/mk/boilerplate.mk
+
+HS_SRCS = $(wildcard *.hs)
+
+SRC_RUNTEST_OPTS += -o1 $*.stdout -o2 $*.stderr -x 0
+HC_OPTS += -noC -dcore-lint
+
+rn017_HC_OPTS = -hi
+
+%.o : %.hs
+	$(RUNTEST) $(HC) $(RUNTEST_OPTS) -- $(HC_OPTS) -c $< -o $@
+
+all :: $(HS_OBJS)
+
+include $(TOP)/mk/target.mk
+
+
diff --git a/ghc/tests/rename/should_compile/Rn016.hi b/ghc/tests/rename/should_compile/Rn016.hi
new file mode 100644
index 0000000..ab4815d
--- /dev/null
+++ b/ghc/tests/rename/should_compile/Rn016.hi
@@ -0,0 +1,12 @@
+_interface_ Rn016 1
+_exports_
+Rn016 K(op1 op2);
+_instances_
+instance {K PrelBase.Int} = $d1;
+instance {K PrelBase.Bool} = $d2;
+instance _forall_ [a] => {K [a]} = $d3;
+_declarations_
+1 $d1 _:_ {K PrelBase.Int} ;;
+1 $d2 _:_ {K PrelBase.Bool} ;;
+1 $d3 _:_ _forall_ [a] {K PrelList.[a]} ;;
+1 class K a :: (* -> *) where { op1 :: a -> a ; op2 :: a -> a } ;
diff --git a/ghc/tests/rename/should_compile/Rn017.hi b/ghc/tests/rename/should_compile/Rn017.hi
new file mode 100644
index 0000000..2676720
--- /dev/null
+++ b/ghc/tests/rename/should_compile/Rn017.hi
@@ -0,0 +1,9 @@
+_interface_ Rn017 1
+_exports_
+Rn017 a b c Wibble(MkWibble) Wobble ;
+_declarations_
+1 data Wibble = MkWibble Wobble ;
+1 data Wobble ;
+1 a _:_ Int -> Int ;;
+1 b _:_ Int -> Int ;;
+1 c _:_ Int -> Int ;;
diff --git a/ghc/tests/rename/should_compile/rn003.hs b/ghc/tests/rename/should_compile/rn003.hs
new file mode 100644
index 0000000..493cfa2
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn003.hs
@@ -0,0 +1,9 @@
+module Foo (f) where
+-- export food
+f x = x
+
+--!!! weird patterns with no variables
+1  = f 1
+[] = f []
+1  = f (f 1)
+[] = f (f [])
diff --git a/ghc/tests/rename/should_compile/rn003.stderr b/ghc/tests/rename/should_compile/rn003.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/rn005.hs b/ghc/tests/rename/should_compile/rn005.hs
new file mode 100644
index 0000000..f1df424
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn005.hs
@@ -0,0 +1,8 @@
+--!!! rn005: simplest case: a few non-recursive bindings
+
+module Test where
+
+f = []
+g x = x
+h x y = x
+i x y z = x
diff --git a/ghc/tests/rename/should_compile/rn005.stderr b/ghc/tests/rename/should_compile/rn005.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/rn006.hs b/ghc/tests/rename/should_compile/rn006.hs
new file mode 100644
index 0000000..6524bba
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn006.hs
@@ -0,0 +1,14 @@
+--!!! rn006: two sets of mutually-recursive blobs:
+--!!!  f, g, h are mut rec
+--!!!  i, j, k are mut rec
+
+module Test where
+
+f x = g x x
+i x = j x x
+
+g x y = h x x y
+j x y = k x x y
+
+h x y z = f z
+k x y z = i z
diff --git a/ghc/tests/rename/should_compile/rn006.stderr b/ghc/tests/rename/should_compile/rn006.stderr
new file mode 100644
index 0000000..955d1e1
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn006.stderr
@@ -0,0 +1,2 @@
+
+NOTE: Simplifier still going after 4 iterations; bailing out.
diff --git a/ghc/tests/rename/should_compile/rn009.hs b/ghc/tests/rename/should_compile/rn009.hs
new file mode 100644
index 0000000..dbf6966
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn009.hs
@@ -0,0 +1,2 @@
+module Imp10 where
+import Int10
diff --git a/ghc/tests/rename/should_compile/rn009.stderr b/ghc/tests/rename/should_compile/rn009.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/rn010.hs b/ghc/tests/rename/should_compile/rn010.hs
new file mode 100644
index 0000000..da32cce
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn010.hs
@@ -0,0 +1,12 @@
+module Imp100 where
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+
diff --git a/ghc/tests/rename/should_compile/rn010.stderr b/ghc/tests/rename/should_compile/rn010.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/rn011.hs b/ghc/tests/rename/should_compile/rn011.hs
new file mode 100644
index 0000000..c71a553
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn011.hs
@@ -0,0 +1,102 @@
+module Imp1000 where
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+
diff --git a/ghc/tests/rename/should_compile/rn011.stderr b/ghc/tests/rename/should_compile/rn011.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/rn012.hs b/ghc/tests/rename/should_compile/rn012.hs
new file mode 100644
index 0000000..a49abc6
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn012.hs
@@ -0,0 +1,52 @@
+module Imp500 where
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+import Int10
+
diff --git a/ghc/tests/rename/should_compile/rn012.stderr b/ghc/tests/rename/should_compile/rn012.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/rn013.hs b/ghc/tests/rename/should_compile/rn013.hs
new file mode 100644
index 0000000..e48c2c5
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn013.hs
@@ -0,0 +1,21 @@
+module Mod10 where
+
+data T1 a = C1 a
+
+data T2 a b = T2C1 a | T2C2 b
+
+data T3 a b c = T3C1 a | T3C2 b | T3C3 c
+
+data T4 a b c d = T4C1 a | T4C2 b | T4C3 c | T4C4 d
+
+data T5 a b c d e = T5C1 a | T5C2 b | T5C3 c | T5C4 d | T5C5 e
+
+data T6 a = T6C6 a
+
+data T7 a b = T7C6 a | T7C7 b
+
+data T8 a b c = T8C1 a | T8C2 b | T8C3 c
+
+data T9 a b c d = T9C1 a | T9C2 b | T9C3 c | T9C4 d
+
+data T10 a b c d e = T10C1 a | T10C2 b | T10C3 c | T10C4 d | T10C5 e
diff --git a/ghc/tests/rename/should_compile/rn013.stderr b/ghc/tests/rename/should_compile/rn013.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/rn016.hs b/ghc/tests/rename/should_compile/rn016.hs
new file mode 100644
index 0000000..a1c1290
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn016.hs
@@ -0,0 +1,7 @@
+--!!! Import an interface defining a class and some instances
+
+module Main where
+
+import Rn016
+
+main = undefined
diff --git a/ghc/tests/rename/should_compile/rn016.stderr b/ghc/tests/rename/should_compile/rn016.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/rn017.hs b/ghc/tests/rename/should_compile/rn017.hs
new file mode 100644
index 0000000..1a3c2d0
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn017.hs
@@ -0,0 +1,14 @@
+--!! Rexporting
+module Test ( module Test , module Rn017 ) where
+
+import Rn017
+
+f x = x
+
+data Foo = MkFoo
+
+class FOO a where
+    op :: a -> Int
+
+instance FOO Foo where
+    op x = 42
diff --git a/ghc/tests/rename/should_compile/rn017.stderr b/ghc/tests/rename/should_compile/rn017.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/rn018.stderr b/ghc/tests/rename/should_compile/rn018.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/rn019.hs b/ghc/tests/rename/should_compile/rn019.hs
new file mode 100644
index 0000000..4ff7c0d
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn019.hs
@@ -0,0 +1,4 @@
+module Silly (
+	Array.accum
+  ) where
+import qualified Array
diff --git a/ghc/tests/rename/should_compile/rn020.hs b/ghc/tests/rename/should_compile/rn020.hs
new file mode 100644
index 0000000..4b9dbde
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn020.hs
@@ -0,0 +1,11 @@
+-- Duplicate fields in record decls
+
+module OK where
+
+data X = A {a :: Int} | B {a :: Int}
+
+f x = x
+
+-- data Y = V {a :: Int}
+
+-- f y = y
diff --git a/ghc/tests/rename/should_compile/rn022.hs b/ghc/tests/rename/should_compile/rn022.hs
new file mode 100644
index 0000000..c59b949
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn022.hs
@@ -0,0 +1,11 @@
+-- this is legal, I think (WDP)
+
+module Confused where
+
+import Prelude hiding (otherwise)
+
+otherwise = False
+
+f x | otherwise = 1
+
+g otherwise | otherwise = 2
diff --git a/ghc/tests/rename/should_compile/rn022.stderr b/ghc/tests/rename/should_compile/rn022.stderr
new file mode 100644
index 0000000..096cbd6
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn022.stderr
@@ -0,0 +1,6 @@
+rn022.hs:9: 
+    Warning: Possibly incomplete patterns
+	in the definition of function `f'
+rn022.hs:11: 
+    Warning: Possibly incomplete patterns
+	in the definition of function `g'
diff --git a/ghc/tests/rename/should_compile/rn023.hs b/ghc/tests/rename/should_compile/rn023.hs
new file mode 100644
index 0000000..4b533ec
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn023.hs
@@ -0,0 +1,3 @@
+--!! This one is fine in Haskell 1.4
+--
+module Foo ( Bar(..) ) where { data Bar = Bar X; data X = Y }
diff --git a/ghc/tests/rename/should_compile/rn024.hs b/ghc/tests/rename/should_compile/rn024.hs
new file mode 100644
index 0000000..36fd8fd
--- /dev/null
+++ b/ghc/tests/rename/should_compile/rn024.hs
@@ -0,0 +1,9 @@
+--!! This is fine in Haskell 1.4
+--
+module Foo ( Baz(..) ) where 
+
+class Baz a where
+    opx :: Int -> Bar -> a -> a
+
+data Bar = Bar X
+data X = Y
diff --git a/ghc/tests/rename/should_compile/timing001.hs b/ghc/tests/rename/should_compile/timing001.hs
new file mode 100644
index 0000000..ab20102
--- /dev/null
+++ b/ghc/tests/rename/should_compile/timing001.hs
@@ -0,0 +1,507 @@
+--!!! 500 defns chained together at the top-level
+module Main(main) where
+main = undefined
+a000 = a001
+a001 = a002
+a002 = a003
+a003 = a004
+a004 = a005
+a005 = a006
+a006 = a007
+a007 = a008
+a008 = a009
+a009 = a010
+a010 = a011
+a011 = a012
+a012 = a013
+a013 = a014
+a014 = a015
+a015 = a016
+a016 = a017
+a017 = a018
+a018 = a019
+a019 = a020
+a020 = a021
+a021 = a022
+a022 = a023
+a023 = a024
+a024 = a025
+a025 = a026
+a026 = a027
+a027 = a028
+a028 = a029
+a029 = a030
+a030 = a031
+a031 = a032
+a032 = a033
+a033 = a034
+a034 = a035
+a035 = a036
+a036 = a037
+a037 = a038
+a038 = a039
+a039 = a040
+a040 = a041
+a041 = a042
+a042 = a043
+a043 = a044
+a044 = a045
+a045 = a046
+a046 = a047
+a047 = a048
+a048 = a049
+a049 = a050
+a050 = a051
+a051 = a052
+a052 = a053
+a053 = a054
+a054 = a055
+a055 = a056
+a056 = a057
+a057 = a058
+a058 = a059
+a059 = a060
+a060 = a061
+a061 = a062
+a062 = a063
+a063 = a064
+a064 = a065
+a065 = a066
+a066 = a067
+a067 = a068
+a068 = a069
+a069 = a070
+a070 = a071
+a071 = a072
+a072 = a073
+a073 = a074
+a074 = a075
+a075 = a076
+a076 = a077
+a077 = a078
+a078 = a079
+a079 = a080
+a080 = a081
+a081 = a082
+a082 = a083
+a083 = a084
+a084 = a085
+a085 = a086
+a086 = a087
+a087 = a088
+a088 = a089
+a089 = a090
+a090 = a091
+a091 = a092
+a092 = a093
+a093 = a094
+a094 = a095
+a095 = a096
+a096 = a097
+a097 = a098
+a098 = a099
+a099 = a100
+
+a100 = a101
+a101 = a102
+a102 = a103
+a103 = a104
+a104 = a105
+a105 = a106
+a106 = a107
+a107 = a108
+a108 = a109
+a109 = a110
+a110 = a111
+a111 = a112
+a112 = a113
+a113 = a114
+a114 = a115
+a115 = a116
+a116 = a117
+a117 = a118
+a118 = a119
+a119 = a120
+a120 = a121
+a121 = a122
+a122 = a123
+a123 = a124
+a124 = a125
+a125 = a126
+a126 = a127
+a127 = a128
+a128 = a129
+a129 = a130
+a130 = a131
+a131 = a132
+a132 = a133
+a133 = a134
+a134 = a135
+a135 = a136
+a136 = a137
+a137 = a138
+a138 = a139
+a139 = a140
+a140 = a141
+a141 = a142
+a142 = a143
+a143 = a144
+a144 = a145
+a145 = a146
+a146 = a147
+a147 = a148
+a148 = a149
+a149 = a150
+a150 = a151
+a151 = a152
+a152 = a153
+a153 = a154
+a154 = a155
+a155 = a156
+a156 = a157
+a157 = a158
+a158 = a159
+a159 = a160
+a160 = a161
+a161 = a162
+a162 = a163
+a163 = a164
+a164 = a165
+a165 = a166
+a166 = a167
+a167 = a168
+a168 = a169
+a169 = a170
+a170 = a171
+a171 = a172
+a172 = a173
+a173 = a174
+a174 = a175
+a175 = a176
+a176 = a177
+a177 = a178
+a178 = a179
+a179 = a180
+a180 = a181
+a181 = a182
+a182 = a183
+a183 = a184
+a184 = a185
+a185 = a186
+a186 = a187
+a187 = a188
+a188 = a189
+a189 = a190
+a190 = a191
+a191 = a192
+a192 = a193
+a193 = a194
+a194 = a195
+a195 = a196
+a196 = a197
+a197 = a198
+a198 = a199
+a199 = a200
+
+a200 = a201
+a201 = a202
+a202 = a203
+a203 = a204
+a204 = a205
+a205 = a206
+a206 = a207
+a207 = a208
+a208 = a209
+a209 = a210
+a210 = a211
+a211 = a212
+a212 = a213
+a213 = a214
+a214 = a215
+a215 = a216
+a216 = a217
+a217 = a218
+a218 = a219
+a219 = a220
+a220 = a221
+a221 = a222
+a222 = a223
+a223 = a224
+a224 = a225
+a225 = a226
+a226 = a227
+a227 = a228
+a228 = a229
+a229 = a230
+a230 = a231
+a231 = a232
+a232 = a233
+a233 = a234
+a234 = a235
+a235 = a236
+a236 = a237
+a237 = a238
+a238 = a239
+a239 = a240
+a240 = a241
+a241 = a242
+a242 = a243
+a243 = a244
+a244 = a245
+a245 = a246
+a246 = a247
+a247 = a248
+a248 = a249
+a249 = a250
+a250 = a251
+a251 = a252
+a252 = a253
+a253 = a254
+a254 = a255
+a255 = a256
+a256 = a257
+a257 = a258
+a258 = a259
+a259 = a260
+a260 = a261
+a261 = a262
+a262 = a263
+a263 = a264
+a264 = a265
+a265 = a266
+a266 = a267
+a267 = a268
+a268 = a269
+a269 = a270
+a270 = a271
+a271 = a272
+a272 = a273
+a273 = a274
+a274 = a275
+a275 = a276
+a276 = a277
+a277 = a278
+a278 = a279
+a279 = a280
+a280 = a281
+a281 = a282
+a282 = a283
+a283 = a284
+a284 = a285
+a285 = a286
+a286 = a287
+a287 = a288
+a288 = a289
+a289 = a290
+a290 = a291
+a291 = a292
+a292 = a293
+a293 = a294
+a294 = a295
+a295 = a296
+a296 = a297
+a297 = a298
+a298 = a299
+a299 = a300
+
+a300 = a301
+a301 = a302
+a302 = a303
+a303 = a304
+a304 = a305
+a305 = a306
+a306 = a307
+a307 = a308
+a308 = a309
+a309 = a310
+a310 = a311
+a311 = a312
+a312 = a313
+a313 = a314
+a314 = a315
+a315 = a316
+a316 = a317
+a317 = a318
+a318 = a319
+a319 = a320
+a320 = a321
+a321 = a322
+a322 = a323
+a323 = a324
+a324 = a325
+a325 = a326
+a326 = a327
+a327 = a328
+a328 = a329
+a329 = a330
+a330 = a331
+a331 = a332
+a332 = a333
+a333 = a334
+a334 = a335
+a335 = a336
+a336 = a337
+a337 = a338
+a338 = a339
+a339 = a340
+a340 = a341
+a341 = a342
+a342 = a343
+a343 = a344
+a344 = a345
+a345 = a346
+a346 = a347
+a347 = a348
+a348 = a349
+a349 = a350
+a350 = a351
+a351 = a352
+a352 = a353
+a353 = a354
+a354 = a355
+a355 = a356
+a356 = a357
+a357 = a358
+a358 = a359
+a359 = a360
+a360 = a361
+a361 = a362
+a362 = a363
+a363 = a364
+a364 = a365
+a365 = a366
+a366 = a367
+a367 = a368
+a368 = a369
+a369 = a370
+a370 = a371
+a371 = a372
+a372 = a373
+a373 = a374
+a374 = a375
+a375 = a376
+a376 = a377
+a377 = a378
+a378 = a379
+a379 = a380
+a380 = a381
+a381 = a382
+a382 = a383
+a383 = a384
+a384 = a385
+a385 = a386
+a386 = a387
+a387 = a388
+a388 = a389
+a389 = a390
+a390 = a391
+a391 = a392
+a392 = a393
+a393 = a394
+a394 = a395
+a395 = a396
+a396 = a397
+a397 = a398
+a398 = a399
+a399 = a400
+
+a400 = a401
+a401 = a402
+a402 = a403
+a403 = a404
+a404 = a405
+a405 = a406
+a406 = a407
+a407 = a408
+a408 = a409
+a409 = a410
+a410 = a411
+a411 = a412
+a412 = a413
+a413 = a414
+a414 = a415
+a415 = a416
+a416 = a417
+a417 = a418
+a418 = a419
+a419 = a420
+a420 = a421
+a421 = a422
+a422 = a423
+a423 = a424
+a424 = a425
+a425 = a426
+a426 = a427
+a427 = a428
+a428 = a429
+a429 = a430
+a430 = a431
+a431 = a432
+a432 = a433
+a433 = a434
+a434 = a435
+a435 = a436
+a436 = a437
+a437 = a438
+a438 = a439
+a439 = a440
+a440 = a441
+a441 = a442
+a442 = a443
+a443 = a444
+a444 = a445
+a445 = a446
+a446 = a447
+a447 = a448
+a448 = a449
+a449 = a450
+a450 = a451
+a451 = a452
+a452 = a453
+a453 = a454
+a454 = a455
+a455 = a456
+a456 = a457
+a457 = a458
+a458 = a459
+a459 = a460
+a460 = a461
+a461 = a462
+a462 = a463
+a463 = a464
+a464 = a465
+a465 = a466
+a466 = a467
+a467 = a468
+a468 = a469
+a469 = a470
+a470 = a471
+a471 = a472
+a472 = a473
+a473 = a474
+a474 = a475
+a475 = a476
+a476 = a477
+a477 = a478
+a478 = a479
+a479 = a480
+a480 = a481
+a481 = a482
+a482 = a483
+a483 = a484
+a484 = a485
+a485 = a486
+a486 = a487
+a487 = a488
+a488 = a489
+a489 = a490
+a490 = a491
+a491 = a492
+a492 = a493
+a493 = a494
+a494 = a495
+a495 = a496
+a496 = a497
+a497 = a498
+a498 = a499
+a499 = []	-- !!! ta-dah!!!
diff --git a/ghc/tests/rename/should_compile/timing001.stderr b/ghc/tests/rename/should_compile/timing001.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/timing002.hs b/ghc/tests/rename/should_compile/timing002.hs
new file mode 100644
index 0000000..db98718
--- /dev/null
+++ b/ghc/tests/rename/should_compile/timing002.hs
@@ -0,0 +1,504 @@
+--!!! 500 defns chained together with "where"s
+module Main(main) where
+
+main = undefined
+a500 =	let a000 = []
+	    a001 = a000
+	    a002 = a001
+	    a003 = a002
+	    a004 = a003
+	    a005 = a004
+	    a006 = a005
+	    a007 = a006
+	    a008 = a007
+	    a009 = a008
+	    a010 = a009
+	    a011 = a010
+	    a012 = a011
+	    a013 = a012
+	    a014 = a013
+	    a015 = a014
+	    a016 = a015
+	    a017 = a016
+	    a018 = a017
+	    a019 = a018
+	    a020 = a019
+	    a021 = a020
+	    a022 = a021
+	    a023 = a022
+	    a024 = a023
+	    a025 = a024
+	    a026 = a025
+	    a027 = a026
+	    a028 = a027
+	    a029 = a028
+	    a030 = a029
+	    a031 = a030
+	    a032 = a031
+	    a033 = a032
+	    a034 = a033
+	    a035 = a034
+	    a036 = a035
+	    a037 = a036
+	    a038 = a037
+	    a039 = a038
+	    a040 = a039
+	    a041 = a040
+	    a042 = a041
+	    a043 = a042
+	    a044 = a043
+	    a045 = a044
+	    a046 = a045
+	    a047 = a046
+	    a048 = a047
+	    a049 = a048
+	    a050 = a049
+	    a051 = a050
+	    a052 = a051
+	    a053 = a052
+	    a054 = a053
+	    a055 = a054
+	    a056 = a055
+	    a057 = a056
+	    a058 = a057
+	    a059 = a058
+	    a060 = a059
+	    a061 = a060
+	    a062 = a061
+	    a063 = a062
+	    a064 = a063
+	    a065 = a064
+	    a066 = a065
+	    a067 = a066
+	    a068 = a067
+	    a069 = a068
+	    a070 = a069
+	    a071 = a070
+	    a072 = a071
+	    a073 = a072
+	    a074 = a073
+	    a075 = a074
+	    a076 = a075
+	    a077 = a076
+	    a078 = a077
+	    a079 = a078
+	    a080 = a079
+	    a081 = a080
+	    a082 = a081
+	    a083 = a082
+	    a084 = a083
+	    a085 = a084
+	    a086 = a085
+	    a087 = a086
+	    a088 = a087
+	    a089 = a088
+	    a090 = a089
+	    a091 = a090
+	    a092 = a091
+	    a093 = a092
+	    a094 = a093
+	    a095 = a094
+	    a096 = a095
+	    a097 = a096
+	    a098 = a097
+	    a099 = a098
+	    a100 = a099
+	    a101 = a100
+	    a102 = a101
+	    a103 = a102
+	    a104 = a103
+	    a105 = a104
+	    a106 = a105
+	    a107 = a106
+	    a108 = a107
+	    a109 = a108
+	    a110 = a109
+	    a111 = a110
+	    a112 = a111
+	    a113 = a112
+	    a114 = a113
+	    a115 = a114
+	    a116 = a115
+	    a117 = a116
+	    a118 = a117
+	    a119 = a118
+	    a120 = a119
+	    a121 = a120
+	    a122 = a121
+	    a123 = a122
+	    a124 = a123
+	    a125 = a124
+	    a126 = a125
+	    a127 = a126
+	    a128 = a127
+	    a129 = a128
+	    a130 = a129
+	    a131 = a130
+	    a132 = a131
+	    a133 = a132
+	    a134 = a133
+	    a135 = a134
+	    a136 = a135
+	    a137 = a136
+	    a138 = a137
+	    a139 = a138
+	    a140 = a139
+	    a141 = a140
+	    a142 = a141
+	    a143 = a142
+	    a144 = a143
+	    a145 = a144
+	    a146 = a145
+	    a147 = a146
+	    a148 = a147
+	    a149 = a148
+	    a150 = a149
+	    a151 = a150
+	    a152 = a151
+	    a153 = a152
+	    a154 = a153
+	    a155 = a154
+	    a156 = a155
+	    a157 = a156
+	    a158 = a157
+	    a159 = a158
+	    a160 = a159
+	    a161 = a160
+	    a162 = a161
+	    a163 = a162
+	    a164 = a163
+	    a165 = a164
+	    a166 = a165
+	    a167 = a166
+	    a168 = a167
+	    a169 = a168
+	    a170 = a169
+	    a171 = a170
+	    a172 = a171
+	    a173 = a172
+	    a174 = a173
+	    a175 = a174
+	    a176 = a175
+	    a177 = a176
+	    a178 = a177
+	    a179 = a178
+	    a180 = a179
+	    a181 = a180
+	    a182 = a181
+	    a183 = a182
+	    a184 = a183
+	    a185 = a184
+	    a186 = a185
+	    a187 = a186
+	    a188 = a187
+	    a189 = a188
+	    a190 = a189
+	    a191 = a190
+	    a192 = a191
+	    a193 = a192
+	    a194 = a193
+	    a195 = a194
+	    a196 = a195
+	    a197 = a196
+	    a198 = a197
+	    a199 = a198
+	    a200 = a199
+	    a201 = a200
+	    a202 = a201
+	    a203 = a202
+	    a204 = a203
+	    a205 = a204
+	    a206 = a205
+	    a207 = a206
+	    a208 = a207
+	    a209 = a208
+	    a210 = a209
+	    a211 = a210
+	    a212 = a211
+	    a213 = a212
+	    a214 = a213
+	    a215 = a214
+	    a216 = a215
+	    a217 = a216
+	    a218 = a217
+	    a219 = a218
+	    a220 = a219
+	    a221 = a220
+	    a222 = a221
+	    a223 = a222
+	    a224 = a223
+	    a225 = a224
+	    a226 = a225
+	    a227 = a226
+	    a228 = a227
+	    a229 = a228
+	    a230 = a229
+	    a231 = a230
+	    a232 = a231
+	    a233 = a232
+	    a234 = a233
+	    a235 = a234
+	    a236 = a235
+	    a237 = a236
+	    a238 = a237
+	    a239 = a238
+	    a240 = a239
+	    a241 = a240
+	    a242 = a241
+	    a243 = a242
+	    a244 = a243
+	    a245 = a244
+	    a246 = a245
+	    a247 = a246
+	    a248 = a247
+	    a249 = a248
+	    a250 = a249
+	    a251 = a250
+	    a252 = a251
+	    a253 = a252
+	    a254 = a253
+	    a255 = a254
+	    a256 = a255
+	    a257 = a256
+	    a258 = a257
+	    a259 = a258
+	    a260 = a259
+	    a261 = a260
+	    a262 = a261
+	    a263 = a262
+	    a264 = a263
+	    a265 = a264
+	    a266 = a265
+	    a267 = a266
+	    a268 = a267
+	    a269 = a268
+	    a270 = a269
+	    a271 = a270
+	    a272 = a271
+	    a273 = a272
+	    a274 = a273
+	    a275 = a274
+	    a276 = a275
+	    a277 = a276
+	    a278 = a277
+	    a279 = a278
+	    a280 = a279
+	    a281 = a280
+	    a282 = a281
+	    a283 = a282
+	    a284 = a283
+	    a285 = a284
+	    a286 = a285
+	    a287 = a286
+	    a288 = a287
+	    a289 = a288
+	    a290 = a289
+	    a291 = a290
+	    a292 = a291
+	    a293 = a292
+	    a294 = a293
+	    a295 = a294
+	    a296 = a295
+	    a297 = a296
+	    a298 = a297
+	    a299 = a298
+	    a300 = a299
+	    a301 = a300
+	    a302 = a301
+	    a303 = a302
+	    a304 = a303
+	    a305 = a304
+	    a306 = a305
+	    a307 = a306
+	    a308 = a307
+	    a309 = a308
+	    a310 = a309
+	    a311 = a310
+	    a312 = a311
+	    a313 = a312
+	    a314 = a313
+	    a315 = a314
+	    a316 = a315
+	    a317 = a316
+	    a318 = a317
+	    a319 = a318
+	    a320 = a319
+	    a321 = a320
+	    a322 = a321
+	    a323 = a322
+	    a324 = a323
+	    a325 = a324
+	    a326 = a325
+	    a327 = a326
+	    a328 = a327
+	    a329 = a328
+	    a330 = a329
+	    a331 = a330
+	    a332 = a331
+	    a333 = a332
+	    a334 = a333
+	    a335 = a334
+	    a336 = a335
+	    a337 = a336
+	    a338 = a337
+	    a339 = a338
+	    a340 = a339
+	    a341 = a340
+	    a342 = a341
+	    a343 = a342
+	    a344 = a343
+	    a345 = a344
+	    a346 = a345
+	    a347 = a346
+	    a348 = a347
+	    a349 = a348
+	    a350 = a349
+	    a351 = a350
+	    a352 = a351
+	    a353 = a352
+	    a354 = a353
+	    a355 = a354
+	    a356 = a355
+	    a357 = a356
+	    a358 = a357
+	    a359 = a358
+	    a360 = a359
+	    a361 = a360
+	    a362 = a361
+	    a363 = a362
+	    a364 = a363
+	    a365 = a364
+	    a366 = a365
+	    a367 = a366
+	    a368 = a367
+	    a369 = a368
+	    a370 = a369
+	    a371 = a370
+	    a372 = a371
+	    a373 = a372
+	    a374 = a373
+	    a375 = a374
+	    a376 = a375
+	    a377 = a376
+	    a378 = a377
+	    a379 = a378
+	    a380 = a379
+	    a381 = a380
+	    a382 = a381
+	    a383 = a382
+	    a384 = a383
+	    a385 = a384
+	    a386 = a385
+	    a387 = a386
+	    a388 = a387
+	    a389 = a388
+	    a390 = a389
+	    a391 = a390
+	    a392 = a391
+	    a393 = a392
+	    a394 = a393
+	    a395 = a394
+	    a396 = a395
+	    a397 = a396
+	    a398 = a397
+	    a399 = a398
+	    a400 = a399
+	    a401 = a400
+	    a402 = a401
+	    a403 = a402
+	    a404 = a403
+	    a405 = a404
+	    a406 = a405
+	    a407 = a406
+	    a408 = a407
+	    a409 = a408
+	    a410 = a409
+	    a411 = a410
+	    a412 = a411
+	    a413 = a412
+	    a414 = a413
+	    a415 = a414
+	    a416 = a415
+	    a417 = a416
+	    a418 = a417
+	    a419 = a418
+	    a420 = a419
+	    a421 = a420
+	    a422 = a421
+	    a423 = a422
+	    a424 = a423
+	    a425 = a424
+	    a426 = a425
+	    a427 = a426
+	    a428 = a427
+	    a429 = a428
+	    a430 = a429
+	    a431 = a430
+	    a432 = a431
+	    a433 = a432
+	    a434 = a433
+	    a435 = a434
+	    a436 = a435
+	    a437 = a436
+	    a438 = a437
+	    a439 = a438
+	    a440 = a439
+	    a441 = a440
+	    a442 = a441
+	    a443 = a442
+	    a444 = a443
+	    a445 = a444
+	    a446 = a445
+	    a447 = a446
+	    a448 = a447
+	    a449 = a448
+	    a450 = a449
+	    a451 = a450
+	    a452 = a451
+	    a453 = a452
+	    a454 = a453
+	    a455 = a454
+	    a456 = a455
+	    a457 = a456
+	    a458 = a457
+	    a459 = a458
+	    a460 = a459
+	    a461 = a460
+	    a462 = a461
+	    a463 = a462
+	    a464 = a463
+	    a465 = a464
+	    a466 = a465
+	    a467 = a466
+	    a468 = a467
+	    a469 = a468
+	    a470 = a469
+	    a471 = a470
+	    a472 = a471
+	    a473 = a472
+	    a474 = a473
+	    a475 = a474
+	    a476 = a475
+	    a477 = a476
+	    a478 = a477
+	    a479 = a478
+	    a480 = a479
+	    a481 = a480
+	    a482 = a481
+	    a483 = a482
+	    a484 = a483
+	    a485 = a484
+	    a486 = a485
+	    a487 = a486
+	    a488 = a487
+	    a489 = a488
+	    a490 = a489
+	    a491 = a490
+	    a492 = a491
+	    a493 = a492
+	    a494 = a493
+	    a495 = a494
+	    a496 = a495
+	    a497 = a496
+	    a498 = a497 in
+	a498
diff --git a/ghc/tests/rename/should_compile/timing002.stderr b/ghc/tests/rename/should_compile/timing002.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_compile/timing003.hs b/ghc/tests/rename/should_compile/timing003.hs
new file mode 100644
index 0000000..e897868
--- /dev/null
+++ b/ghc/tests/rename/should_compile/timing003.hs
@@ -0,0 +1,508 @@
+--!!! 500 defns, not chained together
+module Main(main) where
+
+main = undefined
+a000 = []
+a001 = []
+a002 = []
+a003 = []
+a004 = []
+a005 = []
+a006 = []
+a007 = []
+a008 = []
+a009 = []
+a010 = []
+a011 = []
+a012 = []
+a013 = []
+a014 = []
+a015 = []
+a016 = []
+a017 = []
+a018 = []
+a019 = []
+a020 = []
+a021 = []
+a022 = []
+a023 = []
+a024 = []
+a025 = []
+a026 = []
+a027 = []
+a028 = []
+a029 = []
+a030 = []
+a031 = []
+a032 = []
+a033 = []
+a034 = []
+a035 = []
+a036 = []
+a037 = []
+a038 = []
+a039 = []
+a040 = []
+a041 = []
+a042 = []
+a043 = []
+a044 = []
+a045 = []
+a046 = []
+a047 = []
+a048 = []
+a049 = []
+a050 = []
+a051 = []
+a052 = []
+a053 = []
+a054 = []
+a055 = []
+a056 = []
+a057 = []
+a058 = []
+a059 = []
+a060 = []
+a061 = []
+a062 = []
+a063 = []
+a064 = []
+a065 = []
+a066 = []
+a067 = []
+a068 = []
+a069 = []
+a070 = []
+a071 = []
+a072 = []
+a073 = []
+a074 = []
+a075 = []
+a076 = []
+a077 = []
+a078 = []
+a079 = []
+a080 = []
+a081 = []
+a082 = []
+a083 = []
+a084 = []
+a085 = []
+a086 = []
+a087 = []
+a088 = []
+a089 = []
+a090 = []
+a091 = []
+a092 = []
+a093 = []
+a094 = []
+a095 = []
+a096 = []
+a097 = []
+a098 = []
+a099 = []
+
+a100 = []
+a101 = []
+a102 = []
+a103 = []
+a104 = []
+a105 = []
+a106 = []
+a107 = []
+a108 = []
+a109 = []
+a110 = []
+a111 = []
+a112 = []
+a113 = []
+a114 = []
+a115 = []
+a116 = []
+a117 = []
+a118 = []
+a119 = []
+a120 = []
+a121 = []
+a122 = []
+a123 = []
+a124 = []
+a125 = []
+a126 = []
+a127 = []
+a128 = []
+a129 = []
+a130 = []
+a131 = []
+a132 = []
+a133 = []
+a134 = []
+a135 = []
+a136 = []
+a137 = []
+a138 = []
+a139 = []
+a140 = []
+a141 = []
+a142 = []
+a143 = []
+a144 = []
+a145 = []
+a146 = []
+a147 = []
+a148 = []
+a149 = []
+a150 = []
+a151 = []
+a152 = []
+a153 = []
+a154 = []
+a155 = []
+a156 = []
+a157 = []
+a158 = []
+a159 = []
+a160 = []
+a161 = []
+a162 = []
+a163 = []
+a164 = []
+a165 = []
+a166 = []
+a167 = []
+a168 = []
+a169 = []
+a170 = []
+a171 = []
+a172 = []
+a173 = []
+a174 = []
+a175 = []
+a176 = []
+a177 = []
+a178 = []
+a179 = []
+a180 = []
+a181 = []
+a182 = []
+a183 = []
+a184 = []
+a185 = []
+a186 = []
+a187 = []
+a188 = []
+a189 = []
+a190 = []
+a191 = []
+a192 = []
+a193 = []
+a194 = []
+a195 = []
+a196 = []
+a197 = []
+a198 = []
+a199 = []
+
+a200 = []
+a201 = []
+a202 = []
+a203 = []
+a204 = []
+a205 = []
+a206 = []
+a207 = []
+a208 = []
+a209 = []
+a210 = []
+a211 = []
+a212 = []
+a213 = []
+a214 = []
+a215 = []
+a216 = []
+a217 = []
+a218 = []
+a219 = []
+a220 = []
+a221 = []
+a222 = []
+a223 = []
+a224 = []
+a225 = []
+a226 = []
+a227 = []
+a228 = []
+a229 = []
+a230 = []
+a231 = []
+a232 = []
+a233 = []
+a234 = []
+a235 = []
+a236 = []
+a237 = []
+a238 = []
+a239 = []
+a240 = []
+a241 = []
+a242 = []
+a243 = []
+a244 = []
+a245 = []
+a246 = []
+a247 = []
+a248 = []
+a249 = []
+a250 = []
+a251 = []
+a252 = []
+a253 = []
+a254 = []
+a255 = []
+a256 = []
+a257 = []
+a258 = []
+a259 = []
+a260 = []
+a261 = []
+a262 = []
+a263 = []
+a264 = []
+a265 = []
+a266 = []
+a267 = []
+a268 = []
+a269 = []
+a270 = []
+a271 = []
+a272 = []
+a273 = []
+a274 = []
+a275 = []
+a276 = []
+a277 = []
+a278 = []
+a279 = []
+a280 = []
+a281 = []
+a282 = []
+a283 = []
+a284 = []
+a285 = []
+a286 = []
+a287 = []
+a288 = []
+a289 = []
+a290 = []
+a291 = []
+a292 = []
+a293 = []
+a294 = []
+a295 = []
+a296 = []
+a297 = []
+a298 = []
+a299 = []
+
+a300 = []
+a301 = []
+a302 = []
+a303 = []
+a304 = []
+a305 = []
+a306 = []
+a307 = []
+a308 = []
+a309 = []
+a310 = []
+a311 = []
+a312 = []
+a313 = []
+a314 = []
+a315 = []
+a316 = []
+a317 = []
+a318 = []
+a319 = []
+a320 = []
+a321 = []
+a322 = []
+a323 = []
+a324 = []
+a325 = []
+a326 = []
+a327 = []
+a328 = []
+a329 = []
+a330 = []
+a331 = []
+a332 = []
+a333 = []
+a334 = []
+a335 = []
+a336 = []
+a337 = []
+a338 = []
+a339 = []
+a340 = []
+a341 = []
+a342 = []
+a343 = []
+a344 = []
+a345 = []
+a346 = []
+a347 = []
+a348 = []
+a349 = []
+a350 = []
+a351 = []
+a352 = []
+a353 = []
+a354 = []
+a355 = []
+a356 = []
+a357 = []
+a358 = []
+a359 = []
+a360 = []
+a361 = []
+a362 = []
+a363 = []
+a364 = []
+a365 = []
+a366 = []
+a367 = []
+a368 = []
+a369 = []
+a370 = []
+a371 = []
+a372 = []
+a373 = []
+a374 = []
+a375 = []
+a376 = []
+a377 = []
+a378 = []
+a379 = []
+a380 = []
+a381 = []
+a382 = []
+a383 = []
+a384 = []
+a385 = []
+a386 = []
+a387 = []
+a388 = []
+a389 = []
+a390 = []
+a391 = []
+a392 = []
+a393 = []
+a394 = []
+a395 = []
+a396 = []
+a397 = []
+a398 = []
+a399 = []
+
+a400 = []
+a401 = []
+a402 = []
+a403 = []
+a404 = []
+a405 = []
+a406 = []
+a407 = []
+a408 = []
+a409 = []
+a410 = []
+a411 = []
+a412 = []
+a413 = []
+a414 = []
+a415 = []
+a416 = []
+a417 = []
+a418 = []
+a419 = []
+a420 = []
+a421 = []
+a422 = []
+a423 = []
+a424 = []
+a425 = []
+a426 = []
+a427 = []
+a428 = []
+a429 = []
+a430 = []
+a431 = []
+a432 = []
+a433 = []
+a434 = []
+a435 = []
+a436 = []
+a437 = []
+a438 = []
+a439 = []
+a440 = []
+a441 = []
+a442 = []
+a443 = []
+a444 = []
+a445 = []
+a446 = []
+a447 = []
+a448 = []
+a449 = []
+a450 = []
+a451 = []
+a452 = []
+a453 = []
+a454 = []
+a455 = []
+a456 = []
+a457 = []
+a458 = []
+a459 = []
+a460 = []
+a461 = []
+a462 = []
+a463 = []
+a464 = []
+a465 = []
+a466 = []
+a467 = []
+a468 = []
+a469 = []
+a470 = []
+a471 = []
+a472 = []
+a473 = []
+a474 = []
+a475 = []
+a476 = []
+a477 = []
+a478 = []
+a479 = []
+a480 = []
+a481 = []
+a482 = []
+a483 = []
+a484 = []
+a485 = []
+a486 = []
+a487 = []
+a488 = []
+a489 = []
+a490 = []
+a491 = []
+a492 = []
+a493 = []
+a494 = []
+a495 = []
+a496 = []
+a497 = []
+a498 = []
+a499 = []
diff --git a/ghc/tests/rename/should_compile/timing003.stderr b/ghc/tests/rename/should_compile/timing003.stderr
new file mode 100644
index 0000000..e69de29
diff --git a/ghc/tests/rename/should_fail/Makefile b/ghc/tests/rename/should_fail/Makefile
new file mode 100644
index 0000000..fb0a5f3
--- /dev/null
+++ b/ghc/tests/rename/should_fail/Makefile
@@ -0,0 +1,14 @@
+TOP = ../../../..
+include $(TOP)/mk/boilerplate.mk
+
+HS_SRCS = $(wildcard *.hs)
+
+SRC_RUNTEST_OPTS += -o1 $*.stdout -o2 $*.stderr -x 1
+HC_OPTS += -noC
+
+%.o : %.hs
+	$(RUNTEST) $(HC) $(RUNTEST_OPTS) -- $(HC_OPTS) -c $< -o $@
+
+all :: $(HS_OBJS)
+
+include $(TOP)/mk/target.mk
diff --git a/ghc/tests/rename/should_fail/rnfail001.hs b/ghc/tests/rename/should_fail/rnfail001.hs
new file mode 100644
index 0000000..f6758a1
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail001.hs
@@ -0,0 +1,3 @@
+module ShouldFail where
+
+f x x = 2
diff --git a/ghc/tests/rename/should_fail/rnfail001.stderr b/ghc/tests/rename/should_fail/rnfail001.stderr
new file mode 100644
index 0000000..92fd228
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail001.stderr
@@ -0,0 +1,5 @@
+ 
+rnfail001.hs:3: Conflicting definitions for `x' in pattern
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail002.hs b/ghc/tests/rename/should_fail/rnfail002.hs
new file mode 100644
index 0000000..f2648a9
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail002.hs
@@ -0,0 +1,10 @@
+--!!! rn001: super-simple set of bindings,
+--!!!	incl wildcard pattern-bindings and *duplicates*
+
+x = []
+y = []
+y = []
+_ = []
+_ = 1
+z = []
+_ = []
diff --git a/ghc/tests/rename/should_fail/rnfail002.stderr b/ghc/tests/rename/should_fail/rnfail002.stderr
new file mode 100644
index 0000000..e0066ab
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail002.stderr
@@ -0,0 +1,8 @@
+ 
+rnfail002.hs:4:
+    Conflicting definitions for: `y'
+	Defined at rnfail002.hs:6
+	Defined at rnfail002.hs:5
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail003.hs b/ghc/tests/rename/should_fail/rnfail003.hs
new file mode 100644
index 0000000..51a09b6
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail003.hs
@@ -0,0 +1,4 @@
+--!!! split definition of f (error)
+f [] = []
+g x = x
+f (x:xs) = []
diff --git a/ghc/tests/rename/should_fail/rnfail003.stderr b/ghc/tests/rename/should_fail/rnfail003.stderr
new file mode 100644
index 0000000..2837664
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail003.stderr
@@ -0,0 +1,8 @@
+ 
+rnfail003.hs:2:
+    Conflicting definitions for: `f'
+	Defined at rnfail003.hs:4
+	Defined at rnfail003.hs:2
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail004.hs b/ghc/tests/rename/should_fail/rnfail004.hs
new file mode 100644
index 0000000..3a14f48
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail004.hs
@@ -0,0 +1,8 @@
+--!!! multiple definitions, but hidden in patterns
+module Foo where
+
+f x = x
+  where
+    a		= []
+    (b,c,a)	= ([],[],d)
+    [d,b,_]	= ([],a,[])
diff --git a/ghc/tests/rename/should_fail/rnfail004.stderr b/ghc/tests/rename/should_fail/rnfail004.stderr
new file mode 100644
index 0000000..cd56751
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail004.stderr
@@ -0,0 +1,7 @@
+ 
+rnfail004.hs:6: Conflicting definitions for `a' in binding group
+ 
+rnfail004.hs:7: Conflicting definitions for `b' in binding group
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail005.stderr b/ghc/tests/rename/should_fail/rnfail005.stderr
new file mode 100644
index 0000000..9ad30e8
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail005.stderr
@@ -0,0 +1,8 @@
+ 
+rnfail005.hs:4:
+    Conflicting definitions for: `v'
+	Defined at rnfail005.hs:20
+	Defined at rnfail005.hs:19
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail007.hs b/ghc/tests/rename/should_fail/rnfail007.hs
new file mode 100644
index 0000000..99254dc
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail007.hs
@@ -0,0 +1,5 @@
+--!!! Main module with no definition of main
+
+module Main where
+
+f x = x
diff --git a/ghc/tests/rename/should_fail/rnfail007.stderr b/ghc/tests/rename/should_fail/rnfail007.stderr
new file mode 100644
index 0000000..a552a38
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail007.stderr
@@ -0,0 +1,5 @@
+ 
+rnfail007.hs:3: Module Main must include a definition for `Main.main'
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail008.hs b/ghc/tests/rename/should_fail/rnfail008.hs
new file mode 100644
index 0000000..8520347
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail008.hs
@@ -0,0 +1,19 @@
+--!!! Class and instance decl
+
+module Test where
+
+class K a where
+	op1 :: a -> a -> a
+	op2 :: Int -> a
+
+instance K Int where
+	op1 a b = a+b
+	op2 x   = x
+
+instance K Bool where
+	op1 a b = a
+	-- Pick up the default decl for op2
+	
+instance K [a] where
+	op3 a = a	-- Oops!  Isn't a class op of K
+	
diff --git a/ghc/tests/rename/should_fail/rnfail008.stderr b/ghc/tests/rename/should_fail/rnfail008.stderr
new file mode 100644
index 0000000..d86ebea
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail008.stderr
@@ -0,0 +1,13 @@
+ 
+rnfail008.hs:18: Class `K' does not have a method `op3'
+ 
+rnfail008.hs:18: No explicit method nor default method for `op1'
+		 in an instance declaration for `K'
+ 
+rnfail008.hs:18: No explicit method nor default method for `op2'
+		 in an instance declaration for `K'
+ 
+rnfail008.hs:14: No explicit method nor default method for `op2'
+		 in an instance declaration for `K'
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail009.hs b/ghc/tests/rename/should_fail/rnfail009.hs
new file mode 100644
index 0000000..1557f48
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail009.hs
@@ -0,0 +1,5 @@
+module Foo where
+
+data F = A | B
+
+data G = A | C
diff --git a/ghc/tests/rename/should_fail/rnfail009.stderr b/ghc/tests/rename/should_fail/rnfail009.stderr
new file mode 100644
index 0000000..2671b16
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail009.stderr
@@ -0,0 +1,8 @@
+ 
+rnfail009.hs:1:
+    Conflicting definitions for: `A'
+	Defined at rnfail009.hs:5
+	Defined at rnfail009.hs:3
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail010.hs b/ghc/tests/rename/should_fail/rnfail010.hs
new file mode 100644
index 0000000..d5e51ed
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail010.hs
@@ -0,0 +1,6 @@
+
+f x = 2
+
+g x = 6
+
+f x = 3
diff --git a/ghc/tests/rename/should_fail/rnfail010.stderr b/ghc/tests/rename/should_fail/rnfail010.stderr
new file mode 100644
index 0000000..47a3b10
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail010.stderr
@@ -0,0 +1,8 @@
+ 
+rnfail010.hs:2:
+    Conflicting definitions for: `f'
+	Defined at rnfail010.hs:6
+	Defined at rnfail010.hs:2
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail011.hs b/ghc/tests/rename/should_fail/rnfail011.hs
new file mode 100644
index 0000000..b342618
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail011.hs
@@ -0,0 +1,6 @@
+
+type A = Int
+
+type B = Bool
+
+type A = [Bool]
diff --git a/ghc/tests/rename/should_fail/rnfail011.stderr b/ghc/tests/rename/should_fail/rnfail011.stderr
new file mode 100644
index 0000000..510028c
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail011.stderr
@@ -0,0 +1,8 @@
+ 
+rnfail011.hs:2:
+    Conflicting definitions for: `A'
+	Defined at rnfail011.hs:6
+	Defined at rnfail011.hs:2
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail012.hs b/ghc/tests/rename/should_fail/rnfail012.hs
new file mode 100644
index 0000000..725b0d1
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail012.hs
@@ -0,0 +1,9 @@
+
+class A a where
+ op1 :: a
+
+class B a where
+ op2 :: b -> b
+
+class A a where
+ op3 :: a
diff --git a/ghc/tests/rename/should_fail/rnfail012.stderr b/ghc/tests/rename/should_fail/rnfail012.stderr
new file mode 100644
index 0000000..98d8cec
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail012.stderr
@@ -0,0 +1,8 @@
+ 
+rnfail012.hs:2:
+    Conflicting definitions for: `A'
+	Defined at rnfail012.hs:9
+	Defined at rnfail012.hs:3
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail013.hs b/ghc/tests/rename/should_fail/rnfail013.hs
new file mode 100644
index 0000000..0c78946
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail013.hs
@@ -0,0 +1,9 @@
+--!!! Conflicting constructors from two data type decls
+
+module Foo where
+
+data T1 = MkT Int
+
+data T2 = MkT Bool
+
+f (MkT x) = x
diff --git a/ghc/tests/rename/should_fail/rnfail013.stderr b/ghc/tests/rename/should_fail/rnfail013.stderr
new file mode 100644
index 0000000..bffacd0
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail013.stderr
@@ -0,0 +1,8 @@
+ 
+rnfail013.hs:3:
+    Conflicting definitions for: `MkT'
+	Defined at rnfail013.hs:9
+	Defined at rnfail013.hs:7
+
+
+Compilation had errors
diff --git a/ghc/tests/rename/should_fail/rnfail014.hs b/ghc/tests/rename/should_fail/rnfail014.hs
new file mode 100644
index 0000000..a9074e2
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail014.hs
@@ -0,0 +1,17 @@
+{- Check that the context of a type does not
+   constrain any in-scope variables, and only constrains
+   type variables free in the type.
+-}
+
+module Foo where
+
+instance Eq a => Eq Bool where
+  (==) = error "help"
+
+
+f :: Eq a => Int -> Int
+f x = x
+
+
+class Foo a where
+  op :: Eq a => a -> a
diff --git a/ghc/tests/rename/should_fail/rnfail014.stderr b/ghc/tests/rename/should_fail/rnfail014.stderr
new file mode 100644
index 0000000..457ba99
--- /dev/null
+++ b/ghc/tests/rename/should_fail/rnfail014.stderr
@@ -0,0 +1,17 @@
+ 
+rnfail014.hs:12:
+    Context constrains type variable(s) `a'
+	that do not appear in `Int -> Int'
+	in the type signature for `f'
+ 
+rnfail014.hs:17:
+    Context constrains in-scope type variable(s) `a'
+	in the type signature for `op'
+ 
+rnfail014.hs:9:
+    Context constrains type variable(s) `a'
+	that do not appear in `Eq Bool'
+	in the type signature for an instance decl
+
+
+Compilation had errors
-- 
1.7.10.4