projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
4813068f46a7014111251d68f4437c0aa9940687
[ghc-hetmet.git]
/
ghc
/
tests
/
typecheck
/
should_fail
/
tcfail080.hs
1
-- !!! Multi-param type classes test: ambiguity bug
2
module ShouldFail where
3
4
class Collection c a where
5
empty :: c a
6
add :: a -> c a -> c a
7
isempty :: c a -> Bool
8
9
singleton x = add x empty
10
11
q x = isempty (singleton x)
12
13