Make unification robust to a boxy type variable meeting itself
[ghc-hetmet.git] / compiler / deSugar / deSugar.tex
2006-04-07 Simon MarlowReorganisation of the source tree