---

yaml
---
r: 22919
b: refs/heads/master
c: 63b70b2
h: refs/heads/master
i:
  22917: a5b8a95
  22915: 906d13b
  22911: e663af9
v: v3

Author: bblum

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 97601cafc501447b4ea51ab5084b8657119463d6
+refs/heads/master: 63b70b237049245c96e1a6ee077436a93fcd744b
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/src/libcore/util.rs

@@ -2,6 +2,9 @@
  * Miscellaneous helpers for common patterns.
  */
 
+/// The identity function.
+pure fn id<T>(+x: T) -> T { x }
+
 /**
  * Swap the values at two mutable locations of the same type, without
  * deinitialising or copying either one.
@@ -28,6 +31,12 @@ class noncopyable {
 }
 
 mod tests {
+    #[test]
+    fn identity_crisis() {
+        // Writing a test for the identity function. How did it come to this?
+        let x = ~[{mut a: 5, b: false}];
+        assert x == id(copy x);
+    }
     #[test]
     fn test_swap() {
         let mut x = 31337;

trunk/src/libstd/map.rs

@@ -75,6 +75,17 @@ trait map<K, V: copy> {
     fn each_value(fn(V) -> bool);
 }
 
+mod util {
+    type rational = {num: int, den: int}; // : int::positive(*.den);
+
+    pure fn rational_leq(x: rational, y: rational) -> bool {
+        // NB: Uses the fact that rationals have positive denominators WLOG:
+
+        x.num * y.den <= y.num * x.den
+    }
+}
+
+
 // FIXME (#2344): package this up and export it as a datatype usable for
 // external code that doesn't want to pay the cost of a box.
 mod chained {

trunk/src/libstd/std.rc

@@ -17,7 +17,7 @@ import core::*;
 
 export net, net_tcp, net_ip, net_url;
 export uv, uv_ll, uv_iotask, uv_global_loop;
-export c_vec, util, timer;
+export c_vec, timer;
 export bitv, deque, fun_treemap, list, map;
 export smallintmap, sort, treemap;
 export rope, arena, par;
@@ -43,7 +43,6 @@ mod uv_global_loop;
 // Utility modules
 
 mod c_vec;
-mod util;
 mod timer;