aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/comp/middle/typeck.rs11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs
index 2ca20977..fc09bd92 100644
--- a/src/comp/middle/typeck.rs
+++ b/src/comp/middle/typeck.rs
@@ -639,6 +639,17 @@ fn plain_ty(&sty st) -> @ty {
ret @rec(struct=st, mut=ast.imm, cname=none[str]);
}
+fn hash_ty(&@ty t) -> uint {
+ ret _str.hash(ty_to_str(t));
+}
+
+fn eq_ty(&@ty a, &@ty b) -> bool {
+ // FIXME: this is gross, but I think it's safe, and I don't think writing
+ // a giant function to handle all the cases is necessary when structural
+ // equality will someday save the day.
+ ret _str.eq(ty_to_str(a), ty_to_str(b));
+}
+
fn ann_to_type(&ast.ann ann) -> @ty {
alt (ann) {
case (ast.ann_none) {