diff options
| author | schinz <schinz@epfl.ch> | 2005-04-07 19:47:48 +0000 |
|---|---|---|
| committer | schinz <schinz@epfl.ch> | 2005-04-07 19:47:48 +0000 |
| commit | fd4e74823ef61bdd8cd8eaffff03e62f6becd087 (patch) | |
| tree | c87b023437e6dca950fed8e9409ae47c69df072d /config | |
| parent | 36d0dca50b187ded0a9c12e8ddd7d9332882f44f (diff) | |
| download | scala-fd4e74823ef61bdd8cd8eaffff03e62f6becd087.tar.gz scala-fd4e74823ef61bdd8cd8eaffff03e62f6becd087.tar.bz2 scala-fd4e74823ef61bdd8cd8eaffff03e62f6becd087.zip | |
- accept the creation of compound types with no...
- accept the creation of compound types with non-empty refinements, but
fail as soon as isSameType/isSubType is attempted
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions