18 Dec
2007
18 Dec
'07
6:03 a.m.
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