On Tue, 2007-12-18 at 12:53 +0200, Cristian Baboi wrote: > > The semantics of IO, and the guarantees of the runtime. > > > > IO specifies that (>>) means "compose two actions to make a larger > > action which does the first actions, then the second action". > > > > [do {a; a;} is notation for a >> a] > > > > The RTS specifies that the "main" action is performed exactly once. > > Is this dependent on the implementation (if I use GHC or Hugs) or is > something that the language say ?
Part of the language. You do get your guarantee written in blood. -Peter _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe