aboutsummaryrefslogtreecommitdiff
path: root/src/comp/front
diff options
context:
space:
mode:
Diffstat (limited to 'src/comp/front')
-rw-r--r--src/comp/front/ast.rs17
-rw-r--r--src/comp/front/parser.rs53
2 files changed, 40 insertions, 30 deletions
diff --git a/src/comp/front/ast.rs b/src/comp/front/ast.rs
index 1e229b34..55207de0 100644
--- a/src/comp/front/ast.rs
+++ b/src/comp/front/ast.rs
@@ -40,17 +40,6 @@ tag def {
type crate = spanned[crate_];
type crate_ = rec(_mod module);
-type use_node = spanned[use_node_];
-type use_node_ = rec(ident name, vec[@meta_item] metadata);
-
-type import_node = spanned[import_node_];
-type import_node_ = rec(vec[ident] identifiers);
-
-tag view_item {
- view_item_use(@use_node);
- view_item_import(@import_node);
-}
-
type meta_item = spanned[meta_item_];
type meta_item_ = rec(ident name, str value);
@@ -233,6 +222,12 @@ type _mod = rec(vec[@item] items,
type variant_arg = rec(@ty ty, def_id id);
type variant = rec(str name, vec[variant_arg] args, def_id id, ann ann);
+type view_item = spanned[view_item_];
+tag view_item_ {
+ view_item_use(ident, vec[@meta_item]);
+ view_item_import(vec[ident]);
+}
+
type item = spanned[item_];
tag item_ {
item_const(ident, @ty, @expr, def_id, ann);
diff --git a/src/comp/front/parser.rs b/src/comp/front/parser.rs
index b167bae4..cdf2ae17 100644
--- a/src/comp/front/parser.rs
+++ b/src/comp/front/parser.rs
@@ -1662,17 +1662,18 @@ impure fn parse_optional_meta(parser p) -> vec[@ast.meta_item] {
}
}
-impure fn parse_use(parser p) -> @ast.use_node {
+impure fn parse_use(parser p) -> @ast.view_item {
auto lo = p.get_span();
auto hi = lo;
expect(p, token.USE);
auto ident = parse_ident(p);
auto metadata = parse_optional_meta(p);
expect(p, token.SEMI);
- ret @spanned(lo, hi, rec(name = ident, metadata = metadata));
+ auto use_decl = ast.view_item_use(ident, metadata);
+ ret @spanned(lo, hi, use_decl);
}
-impure fn parse_rest_import_name(parser p, ast.ident id) -> @ast.import_node {
+impure fn parse_rest_import_name(parser p, ast.ident id) -> @ast.view_item {
auto lo = p.get_span();
auto hi = lo;
let vec[ast.ident] identifiers = vec();
@@ -1683,10 +1684,11 @@ impure fn parse_rest_import_name(parser p, ast.ident id) -> @ast.import_node {
identifiers += i;
}
p.bump();
- ret @spanned(lo, hi, rec(identifiers = identifiers));
+ auto import_decl = ast.view_item_import(identifiers);
+ ret @spanned(lo, hi, import_decl);
}
-impure fn parse_full_import_name(parser p) -> @ast.import_node {
+impure fn parse_full_import_name(parser p) -> @ast.view_item {
alt (p.peek()) {
case (token.IDENT(?ident)) {
p.bump();
@@ -1699,7 +1701,7 @@ impure fn parse_full_import_name(parser p) -> @ast.import_node {
fail;
}
-impure fn parse_import(parser p) -> @ast.import_node {
+impure fn parse_import(parser p) -> @ast.view_item {
expect(p, token.IMPORT);
alt (p.peek()) {
case (token.IDENT(?ident)) {
@@ -1721,21 +1723,34 @@ impure fn parse_import(parser p) -> @ast.import_node {
fail;
}
-impure fn parse_view(parser p) -> vec[ast.view_item] {
- let vec[ast.view_item] items = vec();
- while (true) {
- alt (p.peek()) {
- case (token.USE) {
- items += vec(ast.view_item_use(parse_use(p)));
- }
- case (token.IMPORT) {
- items += vec(ast.view_item_import(parse_import(p)));
- }
- case (_) {
- ret items;
- }
+impure fn parse_use_or_import(parser p) -> @ast.view_item {
+ alt (p.peek()) {
+ case (token.USE) {
+ ret parse_use(p);
}
+ case (token.IMPORT) {
+ ret parse_import(p);
+ }
+ }
+}
+
+fn is_use_or_import(token.token t) -> bool {
+ if (t == token.USE) {
+ ret true;
+ }
+ if (t == token.IMPORT) {
+ ret true;
+ }
+ ret false;
+}
+
+impure fn parse_view(parser p) -> vec[@ast.view_item] {
+ let vec[@ast.view_item] items = vec();
+ while (is_use_or_import(p.peek())) {
+ auto item = parse_use_or_import(p);
+ items += vec(item);
}
+ ret items;
}
impure fn parse_crate_from_crate_file(parser p) -> @ast.crate {