aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/ty.rs
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2011-02-10 19:22:30 -0800
committerGraydon Hoare <[email protected]>2011-02-10 19:22:30 -0800
commitc9956a65b49f9cf2b1a691f2b88d61ada753d271 (patch)
treefa2df240ae6abb678f2ceee8cca14e49a8dc86b9 /src/comp/middle/ty.rs
parentAdd support to pat_lit to fold. (diff)
downloadrust-c9956a65b49f9cf2b1a691f2b88d61ada753d271.tar.xz
rust-c9956a65b49f9cf2b1a691f2b88d61ada753d271.zip
Teach ty and typeck about pat_lit.
Diffstat (limited to 'src/comp/middle/ty.rs')
-rw-r--r--src/comp/middle/ty.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs
index 6dd229fb..2bb65fe0 100644
--- a/src/comp/middle/ty.rs
+++ b/src/comp/middle/ty.rs
@@ -656,6 +656,7 @@ fn block_ty(&ast.block b) -> @t {
fn pat_ty(@ast.pat pat) -> @t {
alt (pat.node) {
case (ast.pat_wild(?ann)) { ret ann_to_type(ann); }
+ case (ast.pat_lit(_, ?ann)) { ret ann_to_type(ann); }
case (ast.pat_bind(_, _, ?ann)) { ret ann_to_type(ann); }
case (ast.pat_tag(_, _, _, ?ann)) { ret ann_to_type(ann); }
}