Skip to content
GitLab
Explore
Sign in
Register
Shayne Fletcher
Glasgow Haskell Compiler
Repository
ghc
compiler
typecheck
TcCanonical.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