From 77670e84de5edec73883218f5da3005952b53ea8 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Sat, 20 Nov 2010 22:05:17 -0800
Subject: [PATCH] Fix bug in llvm type signature of function items; enable
 three more tests.

---
 src/Makefile             | 3 +++
 src/comp/middle/trans.rs | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index 74e2cd85435..9c4a746a5c5 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -517,6 +517,9 @@ TEST_XFAILS_LLVM := $(TASK_XFAILS) \
 
 TEST_XFAILS_SELF := $(filter-out \
                       $(addprefix test/run-pass/, \
+                        bool-not.rs \
+                        dead-code-one-arm-if.rs \
+                        hello.rs \
                         int.rs \
                         item-name-overload.rs \
                         multiline-comment.rs \
diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs
index 9cf08e6b1f1..fb4f6379256 100644
--- a/src/comp/middle/trans.rs
+++ b/src/comp/middle/trans.rs
@@ -280,7 +280,7 @@ fn type_of_inner(@trans_ctxt cx, @typeck.ty t) -> TypeRef {
             ret T_struct(tys);
         }
         case (typeck.ty_fn(?args, ?out)) {
-            let vec[TypeRef] atys = vec();
+            let vec[TypeRef] atys = vec(T_taskptr());
             for (typeck.arg arg in args) {
                 let TypeRef t = type_of(cx, arg.ty);
                 alt (arg.mode) {