Example for "ambiguous type variable" error doesn't work anymore about learnyouahaskell.github.io

[MatthijsBlom]

Many readers will try this for themselves, in GHCi. The new behaviour should probably be explained.

I see value in additionally comparing the behaviours of files vs. GHCi.

Type defaulting is also at play: Read a => a defaults to ().

TypeApplications come in handy in situations like this, but chapter 3 is probably a bit too early for introducing language extensions. On the other hand: GHC2021 implies TypeApplications, and is included and on by default since GHC 9.0.

[smith558]

Isn't the example still quite appropriate (because the solution to the presented problem is an explicit typing annotation) but only needs updating and an explanation of the "no parse" error? Interested in your thoughts. Open to a complete rework of the example as well.

[MatthijsBlom]

Isn't the example still quite appropriate (because the solution to the presented problem is an explicit typing annotation)

I'd say yes, it is still appropriate. Not because the solution is the same though, but rather because read "4" remains a reasonable query from the reader's perspective. Removal of this example would be a loss, I think.

Open to a complete rework of the example

It seems to me the old explanation mostly still holds up, and that only a bit about extended defaulting rules in GHCi needs be be woven through.