projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f2fc24) | patch
Always expose the unfolding of something with an InlineRule
authorsimonpj@microsoft.com <unknown>
Fri, 18 Dec 2009 16:43:16 +0000 (16:43 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 18 Dec 2009 16:43:16 +0000 (16:43 +0000)
commit0c66cc56ac4d42d91bfd9beedabcb988d40d7735
tree9297fc98084da50f65aebacdd032748a34d5f2d6tree | snapshot
parent6f2fc241ccad5e32826ecad404d0b8166b93de5bcommit | diff
Always expose the unfolding of something with an InlineRule

Previously a bottoming function with a strictness wrapper
had a hidden inlining, and that was Very Bad, because in
    f x = if ... then bot_fun x else x+1
we really want to pass the *unboxed* x to bot_fun. This
happens quite a bit in error handling code, eg for array
indexing.
compiler/main/TidyPgm.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)