From c96f0bf7386081d21b00af4fa7fcf73ac8d79575 Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Mon, 12 Jul 2010 19:39:29 -0700
Subject: Implement the "simple typechecker", which avoids HM inference

---
 src/lib/_vec.rs | 2 +-
 src/lib/util.rs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/lib')

diff --git a/src/lib/_vec.rs b/src/lib/_vec.rs
index 1b9f5aaa..decb09f8 100644
--- a/src/lib/_vec.rs
+++ b/src/lib/_vec.rs
@@ -80,7 +80,7 @@ fn map[T,U](&op[T,U] f, &vec[T] v) -> vec[U] {
   // but this does not work presently.
   let vec[U] u = vec();
   for (T ve in v) {
-    u += vec(f[T,U](ve));
+    u += vec(f(ve));
   }
   ret u;
 }
diff --git a/src/lib/util.rs b/src/lib/util.rs
index af031d7d..51f0707c 100644
--- a/src/lib/util.rs
+++ b/src/lib/util.rs
@@ -5,7 +5,7 @@ type operator[T, U] = fn(&T) -> U;
 fn option_map[T, U](&operator[T, U] f, &option[T] opt) -> option[U] {
   alt (opt) {
     case (some[T](x)) {
-      ret some[U](f[T, U](x));
+      ret some[U](f(x));
     }
     case (none[T]()) {
       ret none[U]();
-- 
cgit v1.2.3