diff options
| author | Patrick Walton <[email protected]> | 2010-11-18 14:17:17 -0800 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2010-11-18 14:19:06 -0800 |
| commit | 77ff12c435aeb6181ee2678a526b6f6ea3831938 (patch) | |
| tree | 499fd7149a5fc2a9f0f8c9201b4e2e21c4231f26 /src/lib/list.rs | |
| parent | Update frame logic to be compatible with SysV x86 ABI. Improves diagnostics. (diff) | |
| download | rust-77ff12c435aeb6181ee2678a526b6f6ea3831938.tar.xz rust-77ff12c435aeb6181ee2678a526b6f6ea3831938.zip | |
rustboot: Don't use walk to traverse statements in type.ml; fixes redundant checking, improves diagnostics. Also report untyped slots.
Diffstat (limited to 'src/lib/list.rs')
| -rw-r--r-- | src/lib/list.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lib/list.rs b/src/lib/list.rs index c6a67c71..c4661940 100644 --- a/src/lib/list.rs +++ b/src/lib/list.rs @@ -24,6 +24,8 @@ fn foldl[T,U](&list[T] ls, &U u, fn(&T t, U u) -> U f) -> U { ret u; } } + + fail; // TODO: remove me when exhaustiveness checking works } fn find[T,U](&list[T] ls, @@ -45,6 +47,8 @@ fn find[T,U](&list[T] ls, ret none[U]; } } + + fail; // TODO: remove me when exhaustiveness checking works } fn length[T](&list[T] ls) -> uint { |