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/util.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/lib/util.rs')

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