Debug printing inside the typechecker knot

Ryan Scott at
Thu Apr 4 18:55:47 UTC 2019

Good to know, thanks. I assume that TcMType.zonkTcTypes is to
TcHsType.zonkTcTypeToTypes as TcMType.zonkTcTyVars is to

Also, what exactly is the optimization that ZonkEnv performs in types?
And why don't the functions in TcMType make use of this optimization?

Ryan S.

More information about the ghc-devs mailing list