diff options
| author | Charles Taylor <charlestaylor95@gmail.com> | 2022-09-10 16:09:54 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-10-12 16:33:57 -0400 |
| commit | 5172789a12dcca65574dc608364a7cbfdec2fe58 (patch) | |
| tree | ce513e70677820e50fdd0811dd21de61e4a82263 /docs | |
| parent | 626652f7c172f307bd87afaee59c7f0e2825c55d (diff) | |
| download | haskell-5172789a12dcca65574dc608364a7cbfdec2fe58.tar.gz | |
Unrestricted OverloadedLabels (#11671)
Implements GHC proposal:
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0170-unrestricted-overloadedlabels.rst
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 ~~~~~~~~ |