Re: cpp superior to ghc . . .

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