diff options
author | David Terei <davidterei@gmail.com> | 2011-07-20 11:09:03 -0700 |
---|---|---|
committer | David Terei <davidterei@gmail.com> | 2011-07-20 11:26:35 -0700 |
commit | 16514f272fb42af6e9c7674a9bd6c9dce369231f (patch) | |
tree | e4f332b45fe65e2a7a2451be5674f887b42bf199 /testsuite/tests/typecheck/should_compile/tc201.hs | |
parent | ebd422aed41048476aa61dd4c520d43becd78682 (diff) | |
download | haskell-16514f272fb42af6e9c7674a9bd6c9dce369231f.tar.gz |
Move tests from tests/ghc-regress/* to just tests/*
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc201.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/tc201.hs | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc201.hs b/testsuite/tests/typecheck/should_compile/tc201.hs new file mode 100644 index 0000000000..c60aa85406 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/tc201.hs @@ -0,0 +1,25 @@ +{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, + ExistentialQuantification, FlexibleContexts #-} + +{- 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 +soon). + +-} + +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 |