Commit 189333a4 authored by simonpj's avatar simonpj
Browse files

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

Improve the kind-inference test
parent fd1e4701
......@@ -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
......
{-# 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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment