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 vari
George Russell complained:
| Why does the Haskell language not allow "type"
| declarations to appear in the declaration parts of
| where and let clauses?
Marcin 'Qrczak' Kowalczyk replied:
| Because you can always lift them to the top level.
This is the ultimate non-answer.
First of all,
Wed, 25 Oct 2000 22:08:55 +0200, George Russell <[EMAIL PROTECTED]> pisze:
> Why does the Haskell language not allow "type" declarations to
> appear in the declaration parts of where and let clauses?
Because you can always lift them to the top level.
--
__("< Marcin Kowalczyk * [EMAIL PROTEC
Why does the Haskell language not allow "type" declarations to appear in
the declaration parts of where and let clauses? I've just been writing a huge
functions which requires lots and lots of repetitive internal type annotations
(to disambiguate some complicated overloading) but I can't abbrev