`getLabel` or `fromLabel`

The GHC documentation for OverloadedLabels here shows examples like

Leading capital letters: #Foo equivalant to getLabel @”Foo”

Should getLabel be fromLabel?

AFAIK getLabel is for creating unnamed labels from data constructors in template haskell.

fromLabel is what overloaded labels desugar to.

Solution

Looks like a documentation error to me. That text was introduced in c247b6bef, referencing proposal 0170, which only talks about fromLabel, never getLabel.

How can I refactor from error to an ExceptT?
How can I generate a random sequence of elements from a list in Haskell?
Problem with quantified types and pattern matching
Why is the `unicode-show` package necessary?
Get sum of int or integer in Haskell
Java 8: streams and the Sieve of Eratosthenes
Can iterate be written with a fold?
Haskell function with data pattern match and second argument gives Equations have different numbers of arguments
How to use (->) instances of Monad and confusion about (->)
Trouble understanding Haskell type unification with a nested `fmap`
why ghc does not support PIE and Full RelRO in linux?
Controlling Wai logger messages
How do Haskell compilers decide whether to allocate on the heap or the stack?
How can date/time format of Yesod logger be configured?
In Haskell's Turtle library, how to copy a file, but preserve the file date
Could not deduce (Semigroup (TimedEvents a))
Instance of class with Data family yielding error "Couldn't match expected type"
Is there a way to get a Haskell setup on Windows without an installation? (Copy + paste)
Haskell parse error on input `<-'
Inline assembly in Haskell
How do I deal with arbitrary length tuple to build up a complex SQL query for Haskell's postgresql-simple's query function?
Extract liftIO and runSql in separate function (Haskell)
How to query NodeJS stream 'meta data'?
Building multiple executables in the default Haskell Stack project
Take elements of a list up to and including the first value that satisfies some predicate in Haskell
How are Hackage package names mapped to 'cabal install' names?
Insert entity into DB with manually created foreign key in Persistent library (Haskell)
couldn´t match type 'IO´ with ´[]` inside a do
Why doesn't contravariance apply in certain cases like [b] → Int < a → Int
How does the Haskell compiler handle the 'where' statement?