Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
typecheck
TcMType.lhs
Find file
Blame
History
Permalink
Fix Trac #4401: meta-tyvars allocated by the constraint solver are always touchable
· 27225b0c
Simon Peyton Jones
authored
Oct 15, 2010
See Note [Touchable meta type variables] in TcSMonad
27225b0c