Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
typecheck
Inst.hs
Find file
Blame
History
Permalink
Get in-scope set right in top_instantiate
· 7afb7adf
Simon Peyton Jones
authored
Jun 11, 2016
...thereby being able to replace substThetaUnchecked with substTheta
7afb7adf