authors: Correct spelling of jrmuizel's name

authors: Add Erick to AUTHORS

rustc: Don't rebuild the AST when typechecking statements

Merge pull request #386 from erickt/master

Adding a simple vim indent file

Move vim syntax file, add indent file.

rustc: Have typechecking no longer rebuild the AST

rustc: Fix type mismatch in lib/sha1.rs constants

rustc: Run block cleanups on else if blocks

With the scheme used to translate 'else if' currently the if expression is
translated in a new (else) scope context. If that if expression wants to
result in a value that requires refcounting then it will need to drop the
refcount in the cleanups of the else block.

rustc: Remove typeck::check_item_fn(); it's entirely superfluous!

rustc: Make check_const() not rebuild the AST (although it's not called at the moment!)

rustc: Make check_block not rebuild the AST

rustc: Don't rebuild the AST when writing back locals

rustc: Print the types of declarations in --typed-pretty mode

rustc: Pull the type out of the correct expression when typechecking channel types. Puts out burning tinderbox.

rustc: Fix return value of expr_spawn case in pushdown_expr. Should put out soon-to-be-burning tinderbox.

rustc: Don't rebuild the AST when typechecking expressions

rustc: Add a typed pretty-printing mode for debugging

Add Eric to AUTHORS.

Fixing compile problems from recent changes.

Removing the TODO comment.

Added a few more expr_spawn cases so the spawn.rs test case gets a little further before failing.

rustc: Don't rebuild call or bind expressions during typechecking

rustc: Make return value checking warnings a little prettier. Also introduce a new "note" diagnostic level.

rustc: Flatten annotations

Alias-ify the parser and lexer

This only shaves a measly 19k off the rustc binary... but hey, every
little thing helps.

Finally rename std::_xxx to std::xxx

Except for _task, which is still a keyword.

Add Paul to AUTHORS.

Parser fix: 'fail' was eating the next token that came after it.

Switch pretty printer to new vec syntax

stdlib: Remove transitional extfmt.RT module

Return a better result from blocks. Closes issue #377

Blocks return in a copy of the result of their ending expression, not the
direct result of the ending expression, as that may be a local variable which
gets zeroed by drop_slot.

Register new snapshots.

Rename aux.rs to auxiliary.rs since win32 doesn't like files named "aux". Really.

Update a couple tests that slipped through.

Fix snap rules to depend more correctly on rustc$(X) not rustc.

Merge remote branch 'origin/master' into HEAD

Conflicts:
src/comp/middle/trans.rs

Rewrite everything to use [] instead of vec() in value position.

Begin vec() -> [] transition.

make the return-checker happy about pretty::pp::base_indent

Fix get_os and get_arch

get_os and get_arch were failing to return a value in the error
case; they were also assuming that strings are indexed from 1. No
idea how they ever worked, but anyway, fixed.

Two tests that the typechecker correctly unifies type arguments in patterns with their expected tag types

Started adding support for return checking and non-returning function annotations

* Reorganized typestate into several modules.

* Made typestate check that any function with a non-nil return type
  returns a value. For now, the check is a warning and not an error
  (see next item).

* Added a "bot" type (prettyprinted as _|_), for constructs like be, ret, break, cont, and
  fail that don't locally return a value that can be inspected. "bot"
  is distinct from "nil". There is no concrete syntax for _|_, while
  the concrete syntax for the nil type is ().

* Added support to the parser for a ! annotation on functions whose
  result type is _|_. Such a function is required to have either a
  fail or a call to another ! function that is reached in all control
  flow paths. The point of this annotation is to mark functions like
  unimpl() and span_err(), so that an alt with a call to err() in one
  case isn't a false positive for the return-value checker. I haven't
  actually annotated anything with it yet.

* Random bugfixes:

* * Fixed bug in trans::trans_binary that was throwing away the
    cleanups for nested subexpressions of an and or or
    (tests: box-inside-if and box-inside-if2).

** In typeck, unify the expected type arguments of a tag with the
   actual specified arguments.

Noticed that metadata::Encode::enc_sty didn't have a case for ty_task, so I added one (though this wasn't causing the problem I was seeing...

Added .bz2 and stage1 directory to .gitignore

add dl/ and .pyc files to .gitignore

rustc: Fix indentation in typeck::check_lit()

rustc: Don't rebuild the call expression in typeck::replace_expr_type()

rustc: Don't unpack annotations in trans::lval_generic_fn()

Be a bit noisier about being in a transition.

Let the snapshot-file parser parse empty T lines, since they are used to start a transition.

rustc: Make the parser use the interner

Replace --bitcode with the canonical --emit-llvm

Add automatic exe generation capabilities. Add --bitcode flag to generate only an LLVM bitcode file.

rustc: Factor out the code that interns types into an "interner" data structure

rustc: Don't rebuild AST patterns during typechecking

rustc: Replace the redundant typeck::node_ann_ty_params() with ty::ann_to_type_params()

rustc: Make the type collection pass no longer rebuild the AST

rustc: Fix indentation in ty_param_count_and_ty_for_def()

rustc: Add an item_ann() accessor function

rustc: Wait until generic glue is actually emitted to define it as internal

The verifier was not liking this when generating unoptimized bitcode. Per LLVM
docs it is not valid for function declarations to be marked internal, but
their implementations may be.

rustc: Rename 'Unify' modules to 'unify'

Remove xfail-boot lines from tests

Remove CFG_OCAMLC_OPT

rustc: Use walk instead of fold for the first item collection pass

rustc: Change "Collect" to "collect"

Add a regression test for issue #374 (XFAILed)

WIP

fix a long line that i forgot to commit

Mark IDENT tokens that are followed by ::

So that the type parser won't go off and try to parse a vec
type when it sees vec::init_op.

rustllvm: Free TargetMachine in LLVMRustWriteOutputFile

rustc: Dispose intrinsics memory buffer

rustc: Dispose the intrinsics LLVMModuleRef

Add a flag to run the compiler under valgrind

rt: Don't overshoot the end of the logging spec during parsing

rt: Allocate room for null terminator in logging spec

rustc: Look types up in the side table

Remove rustboot from the repository.

rustc: Write nil types into the node type table wherever plain_ann() is used

'with' no longer a token; whitespace police.

Plus renaming the anonymous objects test to a more descriptive name,
and XFAILing it because it doesn't work yet.

More anon obj work; whitespace police in middle::fold

Passing args to middle::fold::fold_expr_anon_obj by reference to be
consistent with the other folds; adding a dummy fold_expr_anon_obj to
typeck to be filled in later.

Use new module namespace syntax.

More work toward anonymous objects.

Bug fixes.

Fixed infinite loop on anonymous objects in parser; added
expr_anon_obj to walk.rs; fixed syntax of test case.

More progress on anonymous objects.

Still segfaulting on the method-overriding.rs test, though.

Correct capitalization of "Option".

Starting on support for anonymous objects.  Just syntax so far.

Add support for 'T' transition snapshots, which are identical to S snapshots except they tell the makefile to stop at stage1.

rustc: Move replace_expr_type() from ty to typeck, as it's only used in the latter

rustc: Fix long lines in typeck.rs

rustc: Get ann_to_type_params() on board the ann_to_ty_param_substs_opt_and_ty() train

rustc: Make all type lookups go through the one ty::ann_to_ty_param_substs_opt_and_ty() function

rustc: Write types contained in "trivial annotations" to the table

rustc: Change ty::triv_ann() to take a node ID instead of a full annotation

rustc: lowercase the link and link::write modules

Slight adjustments to shape, rename to type_glue.rs.

rustc: Add write_type() wherever ann_types are written, except for triv_ann()

Remove reserved word tests (since reserved words were removed)

Ping me if you disagree, but I think that in a language that's as
in-flux as rust currently is, it is silly to try and enforce a single
future-compatibility. The reserved words didn't work well with the
parser refactor, so I dropped them for the time being. We can,
eventually, bring them back as type-only reserved words.

Safeguard against using statement or item keywords as value ids

This prevents insane things like 'auto while = 2', which would parse
in the previous revision, but then break when you tried to mutate it
with 'while = 10'.

Make the parser more careful about keywords

Keywords are now only recognized in contexts where they are valid. The
lexer no longer recognizes them, all words are lexed as IDENT tokens,
that get interpreted by the parser.

rustc: Fix the type of node_types; stub the write_type function