users-guide: Rework pragma key generation

Authored by bgamari on Sun, Oct 6, 4:05 PM.

Description

users-guide: Rework pragma key generation

Previously we had a hack to handle the case of multi-token SPECIALISE
pragmas. Now we use a slightly more general rule of using a prefix of
tokens containing only alphabetical characters.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Oct 8, 4:12 AM
Parents
rGHC0a26f9e8e471: users-guide: Document -fworker-wrapper
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCca4791dba46b: users-guide: Rework pragma key generation (authored by bgamari).Tue, Oct 8, 4:12 AM