cpp superior to ghc . . .

[Marcin 'Qrczak' Kowalczyk]

On Thu, 26 Oct 2000, Koen Claessen wrote:

> The problem is really two-fold: bound type variables (like
> "a") are not in scope in the body of the function, and local
> type declarations are not allowed.

GHC and Hugs do solve the first problem by providing a language extension:
names of type variables in pattern type signatures and result type
signatures are available in their scope. I wish this extension becomes
a future standard.

Some people say that type variables from ordinary type signatures should
be in scope too.

-- 
Marcin 'Qrczak' Kowalczyk