---

yaml
---
r: 1157
b: refs/heads/master
c: 91809a1
h: refs/heads/master
i:
  1155: 5125faa
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: a99713265baca22050e1ab4994feaa70ac31667b
+refs/heads/master: 91809a17ac462e714e87b0150c0c525e52f69556

trunk/src/comp/middle/typeck.rs

@@ -108,7 +108,7 @@ fn ast_ty_to_ty(ty_getter getter, &@ast.ty ast_ty) -> @ty.t {
 
         case (ast.ty_fn(?inputs, ?output)) {
             auto f = bind ast_arg_to_arg(getter, _);
-            auto i = _vec.map[rec(ast.mode mode, @ast.ty ty),arg](f, inputs);
+            auto i = _vec.map[ast.ty_arg, arg](f, inputs);
             sty = ty.ty_fn(i, ast_ty_to_ty(getter, output));
         }
 
@@ -134,8 +134,18 @@ fn ast_ty_to_ty(ty_getter getter, &@ast.ty ast_ty) -> @ty.t {
             cname = t0.cname;
         }
 
-        case (_) {
-            fail;
+        case (ast.ty_obj(?meths)) {
+            let vec[ty.method] tmeths = vec();
+            auto f = bind ast_arg_to_arg(getter, _);
+            for (ast.ty_method m in meths) {
+                auto ins = _vec.map[ast.ty_arg, arg](f, m.inputs);
+                auto out = ast_ty_to_ty(getter, m.output);
+                append[ty.method](tmeths,
+                                  rec(ident=m.ident,
+                                      inputs=ins,
+                                      output=out));
+            }
+            sty = ty.ty_obj(tmeths);
         }
     }