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