users guide: Introduce :pragma: directive
Needs RevisionPublic

Authored by bgamari on Oct 28 2018, 4:39 PM.

Details

Reviewers
goldfire
Trac Issues
#15819
Test Plan

Read it

bgamari created this revision.Oct 28 2018, 4:39 PM
goldfire requested changes to this revision.Oct 28 2018, 9:46 PM

Thanks for the quick action here!

docs/users_guide/glasgow_exts.rst
14330

Are these where clauses interpreted in any way? I see declaration here but top-level on, e.g., INLINE. But I think both are used in the same context. Is there a difference?

14507

Elsewhere, you use

:pragma:`INLINE`

Should you do the same here?

14551

Is it INLINEABLE or INLINABLE? I'm not sure. But it's not both, I imagine.

14617

s/CONLINE/CONLIKE/

14750

What about SPECIALISE?

14852

What about SPECIALISE INLINE?

14881

Ooh. Everywhere else we use a Z. Should probably make this consistent.

14948

Also SPECIALISE

15338

s/RULE/RULES/

15343

s/RULE/RULES/

15432

s/RULE/RULES/

15434

s/RULE/RULES/

This revision now requires changes to proceed.Oct 28 2018, 9:46 PM