projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
f2b13dcdb0ce9a215313a072fa5cafef36e954ad
[ghc-hetmet.git]
/
ghc
/
tests
/
typecheck
/
should_fail
/
tcfail033.stderr
1
2
tcfail033.hs:4:
3
Occurs check: cannot construct the infinite type: aMq = (aMq, aMt)
4
Expected: aMu (aMq, aMt)
5
Inferred: aMu aMq
6
In a pattern binding: buglet = [x | (x, y) <- buglet]
7
8
9
Compilation had errors