projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b74af13) | patch
Do not do SpecConstr on functions that unconditionally diverge
authorsimonpj@microsoft.com <unknown>
Tue, 13 Jan 2009 16:29:18 +0000 (16:29 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 13 Jan 2009 16:29:18 +0000 (16:29 +0000)
commit120c4c72d6b12e765da9e69612351a53fb7cef4b
treef60990d4edc0353864c190c8696b3b521fe05cb2tree | snapshot
parentb74af13a63693dd13bff5f3b66223ac977fbcc73commit | diff
Do not do SpecConstr on functions that unconditionally diverge

There is no point in specialising a function that is guaranteed to
diverge, and doing so screwed up arity stuff.

See Note [Do not specialise diverging functions].
compiler/specialise/SpecConstr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)