Thu, 25 Oct 2001 09:47:31 +0000, Levent Erkok <erkok@cse.ogi.edu> 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 * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK