Skip to content
GitLab
Explore
Sign in
Register
Tobias Decking
GHC
Repository
ghc
compiler
typecheck
TcInteract.lhs
Find file
Blame
History
Permalink
Improve occurs-check error reporting (fix Trac #6123)
· 05289c2a
Simon Peyton Jones
authored
May 25, 2012
We were wrongly reporting (a ~ F a) as an occurs-check error when F is a type function.
05289c2a