diff options
| author | Shayne Fletcher <shayne.fletcher@digitalasset.com> | 2018-12-11 13:49:48 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-11 18:19:46 -0500 |
| commit | 8a4edd15d87849d070f7608b0825789a22e52374 (patch) | |
| tree | c4578c6971be5ddbb29c380dd1fefd663a44a5e4 /docs | |
| parent | c98e25a4de88f12c6ded0a97fcf3ed8f4996b9ea (diff) | |
| download | haskell-8a4edd15d87849d070f7608b0825789a22e52374.tar.gz | |
Enable rebindable fail with overloaded strings
Summary: enable rebindable fail with overloaded strings
Reviewers: bgamari, simonpj
Reviewed By: bgamari, simonpj
Subscribers: simonpj, ndmitchell, rwbarton, carter
GHC Trac Issues: #15645
Differential Revision: https://phabricator.haskell.org/D5251
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 402262e972..ea93cdae24 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -1642,9 +1642,12 @@ not the Prelude versions: - An integer literal ``368`` means "``fromInteger (368::Integer)``", rather than "``Prelude.fromInteger (368::Integer)``". -- Fractional literals are handed in just the same way, except that the +- Fractional literals are handled in just the same way, except that the translation is ``fromRational (3.68::Rational)``. +- String literals are also handled the same way, except that the + translation is ``fromString ("368"::String)``. + - The equality test in an overloaded numeric pattern uses whatever ``(==)`` is in scope. |