3dcd215740
This breaks code that referred to variant names in the same namespace as
their enum. Reexport the variants in the old location or alter code to
refer to the new locations:
```
pub enum Foo {
A,
B
}
fn main() {
let a = A;
}
```
=>
```
pub use self::Foo::{A, B};
pub enum Foo {
A,
B
}
fn main() {
let a = A;
}
```
or
```
pub enum Foo {
A,
B
}
fn main() {
let a = Foo::A;
}
```
[breaking-change]
134 lines
3.5 KiB
Rust
134 lines
3.5 KiB
Rust
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
|
|
// file at the top-level directory of this distribution and at
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
// option. This file may not be copied, modified, or distributed
|
|
// except according to those terms.
|
|
|
|
|
|
// Test a sample usage pattern for regions. Makes use of the
|
|
// following features:
|
|
//
|
|
// - Multiple lifetime parameters
|
|
// - Arenas
|
|
|
|
extern crate arena;
|
|
extern crate collections;
|
|
extern crate libc;
|
|
|
|
use TypeStructure::{TypeInt, TypeFunction};
|
|
use AstKind::{ExprInt, ExprVar, ExprLambda};
|
|
use arena::Arena;
|
|
use std::collections::HashMap;
|
|
use std::mem;
|
|
|
|
type Type<'tcx> = &'tcx TypeStructure<'tcx>;
|
|
|
|
#[deriving(Show)]
|
|
enum TypeStructure<'tcx> {
|
|
TypeInt,
|
|
TypeFunction(Type<'tcx>, Type<'tcx>),
|
|
}
|
|
impl<'tcx> PartialEq for TypeStructure<'tcx> {
|
|
fn eq(&self, other: &TypeStructure<'tcx>) -> bool {
|
|
match (*self, *other) {
|
|
(TypeInt, TypeInt) => true,
|
|
(TypeFunction(s_a, s_b), TypeFunction(o_a, o_b)) => *s_a == *o_a && *s_b == *o_b,
|
|
_ => false
|
|
}
|
|
}
|
|
}
|
|
|
|
impl<'tcx> Eq for TypeStructure<'tcx> {}
|
|
|
|
struct TypeContext<'tcx, 'ast> {
|
|
ty_arena: &'tcx Arena,
|
|
types: Vec<Type<'tcx>> ,
|
|
type_table: HashMap<NodeId, Type<'tcx>>,
|
|
|
|
ast_arena: &'ast Arena,
|
|
ast_counter: uint,
|
|
}
|
|
|
|
impl<'tcx,'ast> TypeContext<'tcx, 'ast> {
|
|
fn new(ty_arena: &'tcx Arena, ast_arena: &'ast Arena)
|
|
-> TypeContext<'tcx, 'ast> {
|
|
TypeContext { ty_arena: ty_arena,
|
|
types: Vec::new(),
|
|
type_table: HashMap::new(),
|
|
|
|
ast_arena: ast_arena,
|
|
ast_counter: 0 }
|
|
}
|
|
|
|
fn add_type(&mut self, s: TypeStructure<'tcx>) -> Type<'tcx> {
|
|
for &ty in self.types.iter() {
|
|
if *ty == s {
|
|
return ty;
|
|
}
|
|
}
|
|
|
|
let ty = self.ty_arena.alloc(|| s);
|
|
self.types.push(ty);
|
|
ty
|
|
}
|
|
|
|
fn set_type(&mut self, id: NodeId, ty: Type<'tcx>) -> Type<'tcx> {
|
|
self.type_table.insert(id, ty);
|
|
ty
|
|
}
|
|
|
|
fn ast(&mut self, a: AstKind<'ast>) -> Ast<'ast> {
|
|
let id = self.ast_counter;
|
|
self.ast_counter += 1;
|
|
self.ast_arena.alloc(|| AstStructure { id: NodeId {id:id}, kind: a })
|
|
}
|
|
}
|
|
|
|
#[deriving(PartialEq, Eq, Hash)]
|
|
struct NodeId {
|
|
id: uint
|
|
}
|
|
|
|
type Ast<'ast> = &'ast AstStructure<'ast>;
|
|
|
|
struct AstStructure<'ast> {
|
|
id: NodeId,
|
|
kind: AstKind<'ast>
|
|
}
|
|
|
|
enum AstKind<'ast> {
|
|
ExprInt,
|
|
ExprVar(uint),
|
|
ExprLambda(Ast<'ast>),
|
|
}
|
|
|
|
fn compute_types<'tcx,'ast>(tcx: &mut TypeContext<'tcx,'ast>,
|
|
ast: Ast<'ast>) -> Type<'tcx>
|
|
{
|
|
match ast.kind {
|
|
ExprInt | ExprVar(_) => {
|
|
let ty = tcx.add_type(TypeInt);
|
|
tcx.set_type(ast.id, ty)
|
|
}
|
|
ExprLambda(ast) => {
|
|
let arg_ty = tcx.add_type(TypeInt);
|
|
let body_ty = compute_types(tcx, ast);
|
|
let lambda_ty = tcx.add_type(TypeFunction(arg_ty, body_ty));
|
|
tcx.set_type(ast.id, lambda_ty)
|
|
}
|
|
}
|
|
}
|
|
|
|
pub fn main() {
|
|
let ty_arena = arena::Arena::new();
|
|
let ast_arena = arena::Arena::new();
|
|
let mut tcx = TypeContext::new(&ty_arena, &ast_arena);
|
|
let ast = tcx.ast(ExprInt);
|
|
let ty = compute_types(&mut tcx, ast);
|
|
assert_eq!(*ty, TypeInt);
|
|
}
|