diff options
| author | Patrick Walton <[email protected]> | 2010-07-12 19:39:29 -0700 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2010-07-15 18:27:09 -0700 |
| commit | c96f0bf7386081d21b00af4fa7fcf73ac8d79575 (patch) | |
| tree | c006fa1a8d9d817b3ccf60a3874034dce5975e3d /src/lib | |
| parent | Remove log-type-error; everything is loggable. (diff) | |
| download | rust-c96f0bf7386081d21b00af4fa7fcf73ac8d79575.tar.xz rust-c96f0bf7386081d21b00af4fa7fcf73ac8d79575.zip | |
Implement the "simple typechecker", which avoids HM inference
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/_vec.rs | 2 | ||||
| -rw-r--r-- | src/lib/util.rs | 2 |
2 files changed, 2 insertions, 2 deletions
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](); |