From eba88ef3ea4a50247961075c1487650dbcf86262 Mon Sep 17 00:00:00 2001
From: David Rajchenbach-Teller <dteller@mozilla.com>
Date: Mon, 17 Oct 2011 14:43:53 +0200
Subject: [PATCH] [Lib] u32.rs: created

---
 src/lib/std.rc |  1 +
 src/lib/u32.rs | 13 +++++++++++++
 2 files changed, 14 insertions(+)
 create mode 100644 src/lib/u32.rs

diff --git a/src/lib/std.rc b/src/lib/std.rc
index 94f590646099..2e65c7503a95 100644
--- a/src/lib/std.rc
+++ b/src/lib/std.rc
@@ -13,6 +13,7 @@ mod char;
 mod int;
 mod uint;
 mod u8;
+mod u32;
 mod u64;
 mod vec;
 mod str;
diff --git a/src/lib/u32.rs b/src/lib/u32.rs
new file mode 100644
index 000000000000..de368fff9d81
--- /dev/null
+++ b/src/lib/u32.rs
@@ -0,0 +1,13 @@
+pure fn max_value() -> u32 { ret 4294967296u32; }
+pure fn min_value() -> u32 { ret 0u32; }
+
+//
+// Local Variables:
+// mode: rust
+// fill-column: 78;
+// indent-tabs-mode: nil
+// c-basic-offset: 4
+// buffer-file-coding-system: utf-8-unix
+// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+// End:
+//