Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: a737df91 by Brandon Chinn at 2026-08-15T12:40:25-04:00 Add law in qualified strings doc - - - - - 1 changed file: - docs/users_guide/exts/qualified_strings.rst Changes: ===================================== docs/users_guide/exts/qualified_strings.rst ===================================== @@ -15,3 +15,10 @@ The ``-XQualifiedStrings`` extension allows string literals to be qualified usin This allows more precise control over the ``fromString`` function than :extension:`OverloadedStrings`, which overloads all string literals for an entire module. If :extension:`MultilineStrings` is also enabled, ``M."""test"""`` will also work, desugaring the multiline string first, then the qualified string literal. + +Laws +~~~~ + +If the following expression typechecks, it should hold: + +* ``Data.String.fromString "str" == M."str"`` View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a737df9167b5869b8943063b9a06e959... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a737df9167b5869b8943063b9a06e959... You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help