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,
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
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
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 PROTECTED]
