Better pretty-printing for TvSubst
authorsimonpj@microsoft.com <unknown>
Fri, 18 Aug 2006 16:05:51 +0000 (16:05 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 18 Aug 2006 16:05:51 +0000 (16:05 +0000)
commit3287fb1d88a8322a767e45eaea431dacc05862dc
tree321dce889dac54509bc03844b780a73654575ae7
parent7a59afcebe45ea87c42006873f77eb4600d7316f
Better pretty-printing for TvSubst
compiler/types/Type.lhs