impl the proper partial order between fn types

2 files changed, 18 insertions, 0 deletions

diff --git a/src/test/compile-fail/sendfn-is-not-a-lambda.rs b/src/test/compile-fail/sendfn-is-not-a-lambda.rs
new file mode 100644
index 00000000000..696f237c9f1
--- /dev/null
+++ b/src/test/compile-fail/sendfn-is-not-a-lambda.rs
@@ -0,0 +1,10 @@
+// error-pattern: mismatched types: expected lambda(++uint) -> uint
+
+fn test(f: lambda(uint) -> uint) -> uint {
+    ret f(22u);
+}
+
+fn main() {
+    let f = sendfn(x: uint) -> uint { ret 4u; };
+    log test(f);
+}
\ No newline at end of file
diff --git a/src/test/run-pass/sendfn-is-a-block.rs b/src/test/run-pass/sendfn-is-a-block.rs
new file mode 100644
index 00000000000..3761c1ec652
--- /dev/null
+++ b/src/test/run-pass/sendfn-is-a-block.rs
@@ -0,0 +1,8 @@
+fn test(f: block(uint) -> uint) -> uint {
+    ret f(22u);
+}
+
+fn main() {
+    let y = test(sendfn(x: uint) -> uint { ret 4u * x; });
+    assert y == 88u;
+}
\ No newline at end of file