A bug in isClosedUnfolding
authorsimonpj@microsoft.com <unknown>
Tue, 9 Mar 2010 17:28:42 +0000 (17:28 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 9 Mar 2010 17:28:42 +0000 (17:28 +0000)
commit6e335238185e90ca9107790fb4236a9367ea8865
tree54a2220fe03e388b415d5cf0d1922b8b836841c5
parent4ce88e3255928e704bbeb19bbb5878da280a6993
A bug in isClosedUnfolding

isClosedUnfolding should say False for DFUnUnfolding!
compiler/coreSyn/CoreSyn.lhs