From 189333a4701d130b7ddc445f164ae33e94bbdc46 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Thu, 14 Sep 2000 12:12:23 +0000
Subject: [PATCH] [project @ 2000-09-14 12:12:23 by simonpj] Improve the
 kind-inference test

---
 ghc/tests/typecheck/should_compile/Makefile |    3 ++-
 ghc/tests/typecheck/should_compile/tc106.hs |    8 ++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/ghc/tests/typecheck/should_compile/Makefile b/ghc/tests/typecheck/should_compile/Makefile
index 95354e5..165edb8 100644
--- a/ghc/tests/typecheck/should_compile/Makefile
+++ b/ghc/tests/typecheck/should_compile/Makefile
@@ -2,7 +2,8 @@ TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 include $(TOP)/mk/should_compile.mk
 
-SRC_HC_OPTS += -dcore-lint -fno-warn-incomplete-patterns -hi-with-declarations -hi-with-instances -hi-with-exports
+SRC_HC_OPTS += -dcore-lint -fno-warn-incomplete-patterns 
+# -hi-with-declarations -hi-with-instances -hi-with-exports
 
 tc019_HC_OPTS = -fglasgow-exts
 tc065_HC_OPTS = -package lang -package data
diff --git a/ghc/tests/typecheck/should_compile/tc106.hs b/ghc/tests/typecheck/should_compile/tc106.hs
index aa9a7f8..c8f8c5d 100644
--- a/ghc/tests/typecheck/should_compile/tc106.hs
+++ b/ghc/tests/typecheck/should_compile/tc106.hs
@@ -1,12 +1,20 @@
 {-# OPTIONS -fglasgow-exts #-}
 
 -- !!! Mutually recursive kind inference
+-- Exposes a bug in 4.08 (fixed in 4.08 pl1)
 
 module ShouldCompile where
 
+-- This pair will tickle the bug
 class Lookup c k a where
     lookupAll :: Sequence seq a => c -> k -> seq a
 
 class Lookup (s a) Int a => Sequence s a where
     foo :: s a
 
+
+-- This decl will tickle it all by itself
+class Matrix a e where
+   amap2  :: (Matrix a d) =>
+             (e -> d -> e) -> a ix e -> a ix d -> a ix e
+
-- 
1.7.10.4