Improve dataToTag# magic
authorsimonpj@microsoft.com <unknown>
Tue, 25 Jan 2011 11:04:18 +0000 (11:04 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 25 Jan 2011 11:04:18 +0000 (11:04 +0000)
commit5cdc2f1dcea1425ab4a842fde708cf55b17333c5
tree673c27aa9dbe9ca19ea97bb211021f618b61b2bb
parent1add108e019be6bbdb340eea3900f7193d5daa6b
Improve dataToTag# magic

dataToTag# is a bit unsatisfactory because it requires
its argument to be evaluated, and we don't have a good
way to enforce that. This patch adds some comments, and
makes exprOkForSpeculation a bit less picky in the case
of dataToTag# (since the argument may, in fact, not be
eval'd).
compiler/coreSyn/CorePrep.lhs
compiler/coreSyn/CoreUtils.lhs