diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-11-24 12:35:33 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-11-24 12:35:33 +0000 |
| commit | 814d864125bdd03d8bc6c3fc551f393b21942c6c (patch) | |
| tree | 51982dc0646852574969a0fd0b581984f7793deb /docs/comm | |
| parent | cfcf0a549da1f3d7d74fe4695c56e3763bf44599 (diff) | |
| download | haskell-814d864125bdd03d8bc6c3fc551f393b21942c6c.tar.gz | |
Support "phase control" for SPECIALISE pragmas
This featurelet allows Trac #5237 to be fixed.
The idea is to allow SPECIALISE pragmas to specify
the phases in which the RULE is active, just as you can
do with RULES themselves.
{-# SPECIALISE [1] foo :: Int -> Int #-}
This feature is so obvious that not having it is really a bug.
There are, needless to say, a few wrinkles. See
Note [Activation pragmas for SPECIALISE]
in DsBinds
Diffstat (limited to 'docs/comm')
0 files changed, 0 insertions, 0 deletions