Answer by Cactus for What does the GHC source mean by "zonk"?
An un-zonked type can have type variables which are mutable references filled in during unification (and this mutability is heavily used by the type checker to increase performance). Zonking traverses...
View ArticleWhat does the GHC source mean by "zonk"?
I'm working on a plugin for GHC, so I'm reading the documentation for some of its implementation.The verb "to zonk" is all over the place, but I can't track down an explanation of what it means to zonk...
View Article
More Pages to Explore .....
