Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
-
a737df91
by Brandon Chinn at 2026-08-15T12:40:25-04:00
1 changed file:
Changes:
| ... | ... | @@ -15,3 +15,10 @@ The ``-XQualifiedStrings`` extension allows string literals to be qualified usin |
| 15 | 15 | This allows more precise control over the ``fromString`` function than :extension:`OverloadedStrings`, which overloads all string literals for an entire module.
|
| 16 | 16 | |
| 17 | 17 | If :extension:`MultilineStrings` is also enabled, ``M."""test"""`` will also work, desugaring the multiline string first, then the qualified string literal.
|
| 18 | + |
|
| 19 | +Laws
|
|
| 20 | +~~~~
|
|
| 21 | + |
|
| 22 | +If the following expression typechecks, it should hold:
|
|
| 23 | + |
|
| 24 | +* ``Data.String.fromString "str" == M."str"`` |