From 8a4edd15d87849d070f7608b0825789a22e52374 Mon Sep 17 00:00:00 2001 From: Shayne Fletcher Date: Tue, 11 Dec 2018 13:49:48 -0500 Subject: 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 --- docs/users_guide/glasgow_exts.rst | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'docs/users_guide') 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. -- cgit v1.2.1