Add comments about invariants
authorsimonpj@microsoft.com <unknown>
Thu, 11 Jan 2007 09:10:03 +0000 (09:10 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 11 Jan 2007 09:10:03 +0000 (09:10 +0000)
commit899fd7fb59cedf25b3939f951016f0c8b5d1541a
tree4838fe89deb83964296f374c532b87b1d017b27d
parent957b762c4db8d3f2f3673e3595ec80c2d64a3274
Add comments about invariants
compiler/types/InstEnv.lhs