Commit d529fb17 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add fundep test

parent b68d61f8
......@@ -210,6 +210,7 @@ test('tc197', normal, compile, [''])
test('tc198', normal, compile, [''])
test('tc199', expect_fail_if_compiler_type('ghc'), compile, [''])
test('tc200', normal, compile, [''])
test('tc201', normal, compile, [''])
# Omitting temporarily
# test('syn-perf', normal, compile, ['-fcontext-stack=30'])
{-# OPTIONS_GHC -fglasgow-exts #-}
{- Email 30 Jan 2006
> the attached program compiles under GHC, but not with Hugs. as far as
> i see, Hugs don't use dependencies in class headers to figure out that
> there is only one "vMkIOError" that can be called in the last
> definition
OK, I think it's a bug (though the example is bizarre). Sadly Hugs's
support for FDs is rough around the edges (and unlikely to improve
module ShoudlCompile where
class (Monad m) => Stream m h | h->m where
vMkIOError :: h -> Int
data BinHandle = forall h . Stream IO h => BinH h
instance Stream IO BinHandle where
vMkIOError (BinH h) = vMkIOError h
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