diff options
| author | Marijn Haverbeke <[email protected]> | 2011-05-06 22:13:13 +0200 |
|---|---|---|
| committer | Marijn Haverbeke <[email protected]> | 2011-05-06 22:51:19 +0200 |
| commit | a3ec0b1f643d00b9418e4884bd7caa07bf052201 (patch) | |
| tree | 82000510ac9c9cf3f0c7cf4ae5f3c6b123b559cb /src/lib/util.rs | |
| parent | Register new snapshots. (diff) | |
| download | rust-a3ec0b1f643d00b9418e4884bd7caa07bf052201.tar.xz rust-a3ec0b1f643d00b9418e4884bd7caa07bf052201.zip | |
Rename std modules to be camelcased
(Have fun mergining your stuff with this.)
Diffstat (limited to 'src/lib/util.rs')
| -rw-r--r-- | src/lib/util.rs | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/src/lib/util.rs b/src/lib/util.rs deleted file mode 100644 index 2f797f69..00000000 --- a/src/lib/util.rs +++ /dev/null @@ -1,33 +0,0 @@ -fn id[T](&T x) -> T { - ret x; -} - -/* FIXME (issue #141): See test/run-pass/constrained-type.rs. Uncomment - * the constraint once fixed. */ -type rational = rec(int num, int den); // : _int.positive(*.den); - -fn rational_leq(&rational x, &rational y) -> bool { - // NB: Uses the fact that rationals have positive denominators WLOG. - ret x.num * y.den <= y.num * x.den; -} - -fn fst[T, U](&tup(T, U) x) -> T { - ret x._0; -} - -fn snd[T, U](&tup(T, U) x) -> U { - ret x._1; -} - -fn orb(&bool a, &bool b) -> bool { - ret a || b; -} - -// 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 .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; -// End: |