[project @ 2000-09-14 12:12:23 by simonpj]

Improve the kind-inference test

diff --git a/ghc/tests/typecheck/should_compile/Makefile b/ghc/tests/typecheck/should_compile/Makefile
index 95354e5..165edb8 100644 (file)
--- 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 (file)
--- 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
+