diff options
| author | Graydon Hoare <[email protected]> | 2011-03-09 20:14:19 -0800 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-03-09 20:14:19 -0800 |
| commit | 8e8c336f93becbc394b99e978cc3d8145e7e9d7c (patch) | |
| tree | b08227e7d271db47d1b428bd0a31a3c736718b04 /src/comp/middle/ty.rs | |
| parent | Un-XFAIL a couple export-related tests. (diff) | |
| download | rust-8e8c336f93becbc394b99e978cc3d8145e7e9d7c.tar.xz rust-8e8c336f93becbc394b99e978cc3d8145e7e9d7c.zip | |
Implement deep structural comparison through boxes and sequences.
Diffstat (limited to 'src/comp/middle/ty.rs')
| -rw-r--r-- | src/comp/middle/ty.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs index 958d0b78..bd3e3263 100644 --- a/src/comp/middle/ty.rs +++ b/src/comp/middle/ty.rs @@ -373,6 +373,14 @@ fn get_element_type(@t ty, uint i) -> @t { fail; } +fn type_is_box(@t ty) -> bool { + alt (ty.struct) { + case (ty_box(_)) { ret true; } + case (_) { ret false; } + } + fail; +} + fn type_is_boxed(@t ty) -> bool { alt (ty.struct) { case (ty_str) { ret true; } |