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 /test/files/run/bugs.check | |
| 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 'test/files/run/bugs.check')
0 files changed, 0 insertions, 0 deletions