diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/9.6.1-notes.rst | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/users_guide/9.6.1-notes.rst b/docs/users_guide/9.6.1-notes.rst index 1afc9f7093..64d0568b30 100644 --- a/docs/users_guide/9.6.1-notes.rst +++ b/docs/users_guide/9.6.1-notes.rst @@ -78,6 +78,15 @@ Language Then GHC will use the second quantified constraint to solve ``C a b Int``, as it has a strictly weaker precondition. +- GHC proposal `#170 Unrestricted OverloadedLabels + <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0170-unrestricted-overloadedlabels.rst>`_ + has been implemented. + This extends the variety syntax for constructing labels under :extension:`OverloadedLabels`. + Examples of newly allowed syntax: + - Leading capital letters: `#Foo` equivalant to `getLabel @"Foo"` + - Numeric characters: `#3.14` equivalent to `getLabel @"3.14"` + - Arbitrary strings: `#"Hello, World!"` equivalent to `getLabel @"Hello, World!"` + Compiler ~~~~~~~~ |