diff options
| author | Jakub Bukaj <jakub@jakub.cc> | 2014-10-21 03:40:10 +0200 |
|---|---|---|
| committer | Jakub Bukaj <jakub@jakub.cc> | 2014-10-24 19:43:47 +0200 |
| commit | 4380e96c0470d746267a11633fafe3e4ea459687 (patch) | |
| tree | 3a1eab5f1213e9baf959ea545e4380b4a92cd12c /src/rustllvm/RustWrapper.cpp | |
| parent | 3e9ce5afb776bf5a187cafa8cfe5ad677bfd3acc (diff) | |
| download | rust-4380e96c0470d746267a11633fafe3e4ea459687.tar.gz rust-4380e96c0470d746267a11633fafe3e4ea459687.zip | |
Overhaul typechecking of patterns
Instead of checking patterns in a top-down fashion with a known expected type on entry, this changes makes typeck establish appropriate constraints between a pattern and the expression it destructures, and lets inference compute the final types or produce good error messages if it's impossible.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions