Simon Peyton Jones pushed to branch wip/spj-reinstallable-base at Glasgow Haskell Compiler / GHC Commits: 9c64f63d by Simon Peyton Jones at 2026-03-16T10:38:01+00:00 Add stub documentation Need to properly document ImplicitKnownKeyNames DefinesKnownKeyNames - - - - - 1 changed file: - docs/users_guide/exts/rebindable_syntax.rst Changes: ===================================== docs/users_guide/exts/rebindable_syntax.rst ===================================== @@ -78,6 +78,16 @@ not the Prelude versions: - An overloaded label "``#foo``" means "``fromLabel @"foo"``", rather than "``GHC.OverloadedLabels.fromLabel @"foo"``" (see :ref:`overloaded-labels`). +.. extension:: ImplicitKnownKeyNames + :shortdesc: Use module ``KnownKeyNames`` to find known-key names + + ToDo: needs proper documentation + +.. extension:: DefinesKnownKeyNames + :shortdesc: This modules defines one or more known-key names + + ToDo: needs proper documentation + :extension:`RebindableSyntax` implies :extension:`NoImplicitPrelude`. In all cases (apart from arrow notation), the static semantics should be View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9c64f63da0af76070679ff94c28b6ed2... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9c64f63da0af76070679ff94c28b6ed2... You're receiving this email because of your account on gitlab.haskell.org.