---

yaml
---
r: 11281
b: refs/heads/master
c: 0a50322
h: refs/heads/master
i:
  11279: 209b63a
v: v3

Author: brson

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 305cbf9b8ed24a23212cd99fc3eedfcd9b2b40af
+refs/heads/master: 0a503228f6b7a831418f0a247944e20c01c1b84e
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/comp/middle/typeck.rs

@@ -107,6 +107,18 @@ fn ty_param_bounds_and_ty_for_def(fcx: @fn_ctxt, sp: span, defn: ast::def) ->
           }
         }
       }
+      ast::def_fn(id, ast::crust_fn) {
+        // Crust functions are just u8 pointers
+        ret {
+            bounds: @[],
+            ty: ty::mk_ptr(
+                fcx.ccx.tcx,
+                {
+                    ty: ty::mk_mach_uint(fcx.ccx.tcx, ast::ty_u8),
+                    mut: ast::imm
+                })
+        };
+      }
       ast::def_fn(id, _) | ast::def_const(id) |
       ast::def_variant(_, id) | ast::def_class(id)
           | ast::def_class_method(_, id) | ast::def_class_field(_, id)

trunk/src/test/compile-fail/crust-no-bind.rs

@@ -0,0 +1,7 @@
+// error-pattern:expected function or native function but found *u8
+crust fn f() {
+}
+
+fn main() {
+    let x = bind f();
+}

trunk/src/test/compile-fail/crust-no-call.rs

@@ -0,0 +1,7 @@
+// error-pattern:expected function or native function but found *u8
+crust fn f() {
+}
+
+fn main() {
+    f();
+}

trunk/src/test/compile-fail/crust-wrong-value-type.rs

@@ -0,0 +1,8 @@
+// error-pattern:expected `fn()` but found `*u8`
+crust fn f() {
+}
+
+fn main() {
+    // Crust functions are *u8 types
+    let _x: fn() = f;
+}

trunk/src/test/run-pass/crust-take-value.rs

@@ -0,0 +1,7 @@
+crust fn f() {
+}
+
+fn main() {
+    // Crust functions are *u8 types
+    let _x: *u8 = f;
+}