Another refactoring on the shape of an Unfolding
authorsimonpj@microsoft.com <unknown>
Thu, 5 Nov 2009 17:03:13 +0000 (17:03 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 5 Nov 2009 17:03:13 +0000 (17:03 +0000)
commita263737bbf44050a7b5ecbe267ddf85d410b73e5
tree74c065df8cb51eb7b500c3523948213a2ae20a1d
parent545cdeb52fc4feea3fa9668706e05ad75041f8b0
Another refactoring on the shape of an Unfolding

I found that a compulsory unfolding was getting dropped on the floor,
so I took that as a hint to tidy up the data type so that it won't
happen again.  No big change in functionality.
compiler/coreSyn/CoreSubst.lhs
compiler/coreSyn/CoreSyn.lhs
compiler/coreSyn/CoreUnfold.lhs
compiler/coreSyn/PprCore.lhs
compiler/iface/MkIface.lhs
compiler/main/TidyPgm.lhs
compiler/simplCore/OccurAnal.lhs
compiler/simplCore/SimplUtils.lhs
compiler/simplCore/Simplify.lhs
compiler/specialise/Specialise.lhs