December 1998GHC 4.02Release notes for GHC 4.02
This version adds support for scoped type variables.Scoped type variables in GHC 4.04Although scoped type variables were implemented in GHC 4.02, documentation does not appear in the user manual until version 4.04.
- Introduces pattern type signatures and result type signatures.
- This feature will be described in Lexically-scoped type variables.
- Scoped type variables will be significantly modified later in GHC 6.4, and result type signatures will be removed in GHC 6.6.