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
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell