If let bindings partially reduce, ensure that the partially reduced values are used in the resulting let.
If let bindings partially reduce, ensure that the partially reduced
values are used in the resulting let.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@1819 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware