diff options
Diffstat (limited to 'docs/users_guide/runtime_control.rst')
| -rw-r--r-- | docs/users_guide/runtime_control.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index 4c5c437753..d19f3d07fc 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -183,6 +183,13 @@ Event log output Furthermore GHC lets you specify the way event log data (see :rts-flag:`-l ⟨flags⟩`) is written through a custom :c:type:`EventLogWriter`: +.. The size_t declaration below is simply to ensure that the build doesn't fail with an + undefined reference target warning as Sphinx doesn't know about size_t. + +.. c:type:: size_t + + :hidden: + .. c:type:: EventLogWriter A sink of event-log data. |