aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/ty.rs
diff options
context:
space:
mode:
authorPatrick Walton <[email protected]>2011-02-23 10:58:43 -0800
committerPatrick Walton <[email protected]>2011-02-23 17:08:02 -0800
commitb4d6589e7387a7c7df0841f51f0fa5ef831883d9 (patch)
treec0078dc90c1bfe0174c26ad0c989b2567bbf16b1 /src/comp/middle/ty.rs
parentAdd a type for crate directives, to support intermixing with exprs in crate f... (diff)
downloadrust-b4d6589e7387a7c7df0841f51f0fa5ef831883d9.tar.xz
rust-b4d6589e7387a7c7df0841f51f0fa5ef831883d9.zip
Implement type descriptor binding. Un-XFAIL test/run-pass/generic-bind.rs.
Diffstat (limited to 'src/comp/middle/ty.rs')
-rw-r--r--src/comp/middle/ty.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs
index 0f277329..5535879e 100644
--- a/src/comp/middle/ty.rs
+++ b/src/comp/middle/ty.rs
@@ -598,12 +598,14 @@ fn ty_fn_args(@t fty) -> vec[arg] {
case (ty.ty_fn(_, ?a, _)) { ret a; }
case (ty.ty_native_fn(?a, _)) { ret a; }
}
+ fail;
}
fn ty_fn_proto(@t fty) -> ast.proto {
alt (fty.struct) {
case (ty.ty_fn(?p, _, _)) { ret p; }
}
+ fail;
}
fn ty_fn_ret(@t fty) -> @t {
@@ -611,6 +613,7 @@ fn ty_fn_ret(@t fty) -> @t {
case (ty.ty_fn(_, _, ?r)) { ret r; }
case (ty.ty_native_fn(_, ?r)) { ret r; }
}
+ fail;
}
fn is_fn_ty(@t fty) -> bool {