diff options
author | Paul Phillips <paulp@improving.org> | 2013-08-15 15:02:18 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-08-17 08:22:52 -0700 |
commit | 9672a80d08148e9f3223077bf96aaa4ddf17c599 (patch) | |
tree | 0af2d5fead3aa60561fdca17fcb51813e764658f /tools/strapcp | |
parent | b38c9289308334af940aea2ee0ab1d2e65a88ccb (diff) | |
download | scala-9672a80d08148e9f3223077bf96aaa4ddf17c599.tar.gz scala-9672a80d08148e9f3223077bf96aaa4ddf17c599.tar.bz2 scala-9672a80d08148e9f3223077bf96aaa4ddf17c599.zip |
Add checkability condition.
All parents of an intersection type must be checkable for the
type to be checkable.
Diffstat (limited to 'tools/strapcp')
0 files changed, 0 insertions, 0 deletions