Skip to content

Document release when TypeApplications allowed declaring variables as inferred

Boris Lykah requested to merge lykahb/ghc:lykahb/docs/type-applications into master

The extension TypeApplications is available since 8.0.1. However, manually defining inferred variables was released with 9.0.1. Without a mention of that release, it is confusing why this feature causes a syntax error with an earlier version.

This change aims to clarify since which GHC version it became possible to manually define inferred variables.

Edited by Boris Lykah

Merge request reports