Changelog for sessions-2008.4.2
The most recent changes are at the top of this file.
2008 04 02
Added smapM, smapM_, sjoin and fixed up tests file
2008 03 30
Added functions ssequence, ssequence_, withThenClose,
createSessionThenClose, forkThenClose
2008 03 29
Added scloseCh. Added additional type class constraints so that
creating, using and closing a channel doesn't alter the TyMaps.
Fixed a couple of other bugs. Pushed prog' into all Pids as well.
2008 03 25
Multi-receive is in and works and is pretty useful.
2008 03 24
Bug fixes. The public channel stuff is much more robust and you
can't now promote sends or receives early, which has forced me to
fix other bugs too. All good.
2008 03 23
Pid communication and the establishment of sessions based on known
Pids now works. This is basically public channels in and working.
2008 02 28
Interleaving appears. Type sigs get bigger. The night gets
darker. But it all works. One example so far using
interleaving. Need to deal properly with public channels and need to
write multi-recv.
2008 02 23
Added better examples to the Tests.hs module, including the standard
and much loved "calculator". Altered 'run' and '~||~' so that they
automatically add the necessary 'sjump's. Corrected some
documentation mistakes. Also corrected the fixity of ~>> and ~>>=.
2008 02 20
Completed rewrite. New version released to Hackage. Works correctly
in GHC 6.8.2. Now permits arbitrarily complex session types with
mixed branching and looping.