[Git][ghc/ghc][master] users-guide: Fix weird notation in "Summary of stolen syntax"
Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: 834623d4 by Mrjtjmn at 2026-05-20T17:21:41-04:00 users-guide: Fix weird notation in "Summary of stolen syntax" - - - - - 2 changed files: - docs/users_guide/exts/stolen_syntax.rst - docs/users_guide/exts/template_haskell.rst Changes: ===================================== docs/users_guide/exts/stolen_syntax.rst ===================================== @@ -65,19 +65,19 @@ The following syntax is stolen: :ref:`discussion on quasi-quoting <quasi-quotes-list-comprehension-ambiguity>` for details. -``$(``, ``$$(``, ``$varid``, ``$$varid`` +``$(``, ``$$(``, ``$⟨varid⟩``, ``$$⟨varid⟩`` .. index:: single: Template Haskell Stolen by: :extension:`TemplateHaskell` -``[varid|`` +``[⟨varid⟩|`` .. index:: single: quasi-quotation Stolen by: :extension:`QuasiQuotes` -⟨varid⟩, ``#``\ ⟨char⟩, ``#``, ⟨string⟩, ``#``, ⟨integer⟩, ``#``, ⟨float⟩, ``#``, ⟨float⟩, ``##`` +⟨varid⟩``#``, ⟨char⟩``#``, ⟨string⟩``#``, ⟨integer⟩``#``, ⟨float⟩``#``, ⟨float⟩``##`` Stolen by: :extension:`MagicHash` ⟨integer⟩, ``#(Int|Word)(8|16|32|64)?`` ===================================== docs/users_guide/exts/template_haskell.rst ===================================== @@ -114,7 +114,7 @@ enable the quotation subset of Template Haskell (i.e. without top-level splices) - A quasi-quotation can appear in a pattern, type, expression, or declaration context and is also written in Oxford brackets: - - ``[varid| ... |]``, where the "..." is an arbitrary string; a full + - ``[⟨varid⟩| ... |]``, where the "..." is an arbitrary string; a full description of the quasi-quotation facility is given in :ref:`th-quasiquotation`. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/834623d49e9d85f4ee7f7f33336f02da... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/834623d49e9d85f4ee7f7f33336f02da... You're receiving this email because of your account on gitlab.haskell.org.
participants (1)
-
Marge Bot (@marge-bot)