Thu, 25 Oct 2001 09:47:31 +0000, Levent Erkok <[EMAIL PROTECTED]> pisze:
> Another place where `:=' bindings are badly needed is the recursive
> do-notation (mdo, as supported in hugs.) In an mdo, let bindings
> have to be monomorphic, because they are passed back to the mfix
> loop in a lambda binding. Hence, if we had :=, we can simply say
> that mdo only allows let bindings of the `:=' form, and that would
> clear up the whole issue.
It would be great to be able to write ':=' inside 'do' without 'let'
because 'let' starts a new layout level and requires increased
indentation when the definition doesn't fit in one line.
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTĘPCZA
QRCZAK
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
