aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/trans.rs
diff options
context:
space:
mode:
authorMarijn Haverbeke <[email protected]>2011-05-12 10:51:13 +0200
committerMarijn Haverbeke <[email protected]>2011-05-12 10:51:13 +0200
commit2b36e40c58a4b153da593e4da73ba45647b811de (patch)
treec2cad9d5166622366057eb7c59b3e9dc0221e717 /src/comp/middle/trans.rs
parentProperly lex block comments followed by EOF (diff)
downloadrust-2b36e40c58a4b153da593e4da73ba45647b811de.tar.xz
rust-2b36e40c58a4b153da593e4da73ba45647b811de.zip
Ensure ann tags are actually kept around during typechecking
This way, the tag assigned by the parser stays with the node. I realize ann replacing is probably going away real soon, but I needed this now for moving the resolve defs out of the AST.
Diffstat (limited to 'src/comp/middle/trans.rs')
-rw-r--r--src/comp/middle/trans.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs
index ea8270e0..02383f76 100644
--- a/src/comp/middle/trans.rs
+++ b/src/comp/middle/trans.rs
@@ -3127,7 +3127,7 @@ fn node_ann_ty_params(&ast.ann a) -> vec[ty.t] {
log_err "missing type annotation";
fail;
}
- case (ast.ann_type(_, ?tps_opt, _)) {
+ case (ast.ann_type(_, _, ?tps_opt, _)) {
alt (tps_opt) {
case (none[vec[ty.t]]) {
log_err "type annotation has no ty params";
@@ -4148,7 +4148,7 @@ fn lval_generic_fn(&@block_ctxt cx,
cx.fcx.lcx.ccx.sess.bug("no type annotation for path!");
fail;
}
- case (ast.ann_type(?monoty_, ?tps, _)) {
+ case (ast.ann_type(_, ?monoty_, ?tps, _)) {
monoty = monoty_;
tys = Option.get[vec[ty.t]](tps);
}