Re: The dreaded layout rule

1999-07-29 Thread Ian Holyer
ke a special case -- "case" terminated by "," may be worth dealing with -- check that "let"s inside "do" (which don't have "in") are handled OK -- check explicit blocks, and their interaction with implicit ones Ian Holyer @(#) $Id: Layout.hs,v 1.2 1998/10/2

standards and libraries

1998-08-04 Thread Ian Holyer
On the subject of standards, all that is needed from my own personal point of view is a statement in the Haskell report saying how long the current version is guaranteed to remain in force. Why can't we start right now by putting one on Haskell 1.4, even if it only says "demise imminent"? On

Re: Monads and their operational behavior

1997-11-26 Thread Ian Holyer
Koen wrote: | Is it possible to write a monad such that this equality holds | both denotationally and operationally | | do {x - foo; return x} = foo | | For all I know, the answer to this question is | "yes, with sufficient sneakiness". Aha! Show us how!!