projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2be257) | patch
Fix Trac #4874: specialisation of INLINABLE things
authorsimonpj@microsoft.com <unknown>
Fri, 14 Jan 2011 16:32:27 +0000 (16:32 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 14 Jan 2011 16:32:27 +0000 (16:32 +0000)
commit66dfd5c5947c79eabd7e3bdf6aa6e9b5b506564b
tree154d2a636efbb1ade866a02cdcbe96e586dfe0d9tree | snapshot
parentb2be257b55530f9e7d85362aee2ce86b935aeac2commit | diff
Fix Trac #4874: specialisation of INLINABLE things

Johan discovered that when INLINABLE things are specialised
bad things can happen. This patch implements a hack -- but
it's a simple hack and it solves the problem.

See Note [Inline specialisations].

The hack part is that really INLINABLE should not cause *any* loss
optimisation, and it does; see Note [Don't w/w INLINABLE things] in
WorkWrap.
compiler/specialise/Specialise.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)