diff options
author | cremet <cremet@epfl.ch> | 2003-10-03 11:47:13 +0000 |
---|---|---|
committer | cremet <cremet@epfl.ch> | 2003-10-03 11:47:13 +0000 |
commit | c12c3d3856adcd1ff72879bbe37e4b4c93da91b2 (patch) | |
tree | fdbbbb77fa3e6a1e26680208381af1ee630890bf /Makefile.config | |
parent | 169b9a7ebe91aab60a2f4d21b2eeb34e5e27dec2 (diff) | |
download | scala-c12c3d3856adcd1ff72879bbe37e4b4c93da91b2.tar.gz scala-c12c3d3856adcd1ff72879bbe37e4b4c93da91b2.tar.bz2 scala-c12c3d3856adcd1ff72879bbe37e4b4c93da91b2.zip |
- Now the type of a guarded process contains th...
- Now the type of a guarded process contains the result type of its
continuation. All guarded processes in a choice must have the same type.
The result type of a choice is now the common type of the continuations
of all its guarded processes.
Diffstat (limited to 'Makefile.config')
0 files changed, 0 insertions, 0 deletions