diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-01-22 11:44:04 -0800 |
|---|---|---|
| committer | Alexander Biehl <abiehl@novomind.com> | 2018-02-02 12:36:02 +0100 |
| commit | 97b0189927924b82ee26f762c88ccd965eee8d80 (patch) | |
| tree | 2aa9235d21955e58970443fcfa76194b0c8f24d0 /html-test/ref/GADTRecords.html | |
| parent | d314d0c3c9d6213417954f46757c511864077927 (diff) | |
Properly color pragma contents in hyperlinker
The hyperlinker backend now classifies the content of pragmas as
'TkPragma'. That means that in something like '{-# INLINE foo #-}',
'foo' still gets classified as a pragma token.
Diffstat (limited to 'html-test/ref/GADTRecords.html')
0 files changed, 0 insertions, 0 deletions