diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/profiling.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/profiling.rst b/docs/users_guide/profiling.rst index 097d7d0de3..78f96ae8cb 100644 --- a/docs/users_guide/profiling.rst +++ b/docs/users_guide/profiling.rst @@ -369,7 +369,7 @@ compiled program. they appear in the source program (e.g. a call to ``f`` may inlined with its wrapper, resulting in an occurrence of its worker, ``$wf``). - In addition to plain module-qualified names (e.g. ``Data.List.map``), + In addition to plain module-qualified names (e.g. ``GHC.Base.map``), ⟨name⟩ also accepts a small globbing language using ``*`` as a wildcard symbol: |