"Simon Peyton-Jones" <simonpj@microsoft.com> wrote,
| I think in the light of the current situation, it would be | better if the Haskell standard for pragmas were changed to specify: | (1) NOTINLINE is a synonym for NOINLINE. | (2) Case in the first word of a pragma is ignored (which | everyone seems to | be assuming but isn't specified anywhere). | (3) Perhaps also SPECIALISE as a synonym for SPECIALIZE, like | GHC. It does seem to me particularly important that we should | standardise pragmas as much as possible, given that pragmas | not recognised get ignored.
OK. For the Haskell 98 report I propose
1. Change "notInline" to "NOINLINE". 2. Change "specialize" to "SPECIALIZE" 3. Delete E.3 (optimize pragma) altogether
Excellent plan. Manuel