diff options
| author | Marijn Haverbeke <marijnh@gmail.com> | 2012-02-15 09:40:42 +0100 |
|---|---|---|
| committer | Marijn Haverbeke <marijnh@gmail.com> | 2012-02-15 15:47:42 +0100 |
| commit | 67cc89f38d2e75cb0dcd6303fbe4bb4f659277a7 (patch) | |
| tree | 99caacd6c05c72beb28e73a9aa759b5db1d88114 /src/libstd/serialization.rs | |
| parent | 4b63826050dfc579b9ac65a6b72ad0ca6f6b51fc (diff) | |
| download | rust-67cc89f38d2e75cb0dcd6303fbe4bb4f659277a7.tar.gz rust-67cc89f38d2e75cb0dcd6303fbe4bb4f659277a7.zip | |
Rewrite exhaustiveness checker
Issue #352
Closes #1720
The old checker would happily accept things like 'alt x { @some(a) { a } }'.
It now properly descends into patterns, checks exhaustiveness of booleans,
and complains when number/string patterns aren't exhaustive.
Diffstat (limited to 'src/libstd/serialization.rs')
| -rw-r--r-- | src/libstd/serialization.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstd/serialization.rs b/src/libstd/serialization.rs index 1b91b34fe11..1cc8cb529d8 100644 --- a/src/libstd/serialization.rs +++ b/src/libstd/serialization.rs @@ -241,7 +241,7 @@ fn test_option_int() { fn deserialize_0<S: deserializer>(s: S) -> option<int> { s.read_enum("option") {|| s.read_enum_variant {|i| - alt i { + alt check i { 0u { none } 1u { let v0 = s.read_enum_variant_arg(0u) {|| |