diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-12 14:43:37 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-20 17:18:57 -0400 |
commit | 2074c0f5133d5958996279427710aee208918853 (patch) | |
tree | 0f684de069f69a117c3802cc9ea14a91886fb97b /test | |
parent | 705d2851e21fdac11005951f6a47a5446bc8e48b (diff) |
push subtyping for sets to the element type
for eg, (Set Int) is subtype of (Set Real) if Int is subtype of Real
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions