update test on disambig to reflect that some cases are no longer legal

correct test to reference right value

require a non-semi expr acting as a stmt to have unit return type

make parser handle parenthesized block-sugar exprs properly

Merge pull request #1440 from boggle/kmath

Upgraded math to C99 + bessel functions and replaced wrappers with imports

Merge branch 'master' into kmath

Conflicts:
src/libcore/float.rs

Moved generic float::min, max to core::math and cleaned up some imports

Clean up translating of def_ids in metadata reader

Reduces the amount of closure allocation, and makes the code cleaner.

Merge branch 'master' into kmath

Switch to new param kind bound syntax

And remove support for the old syntax

Clean up some FIXMEs related to impls

Get external interfaces / impls working

Issue #1227

Register new snapshot

Fix bad spans for ast::ty parsing

The span would be pointing after the actual text.

Write the iface type of an impl in the crate data

Also, move checking of ifaces into the collect phase of typeck
to give further passes some guarantees.

Issue #1227

Remove ty::bind_params_in_type

It does nothing that substitute_type_params can't do better.

Express some list primitives in a way that doesn't copy

It was somewhat embarassing that list::len copied its elements.

Add more item types to the ast_map so the test suite can build with debug info.

added preliminary support for per-architecture generation of math constants (for porting)

Merge branch 'master' into kmath

Conflicts:
src/libcore/cmath.rs

make scanning more efficient by avoiding recomputation

extend tester so that error msgs can be attached to lines

Use the right types for methods in trans_impl

This prevents misalignment between function and argument
types in corner cases.

xfail-pretty iface-generic.rs until i have time to debug

Reformat typestate error messages so as not to confuse emacs compilation mode

Add test for generic iface methods

Issue #1227

Prevent typenames in param bounds from resolving to their own param

I.e. fn foo<T: seq<T>>(...). This leads to weird circularities that seem to
never make any sense, so it seems prudent to forbid it.

Issue #1227

Add visit_ty_params to visit.rs

And use it to make typechecking of bounds less error-prone.

Add either::is_left and either::is_right

Properly typecheck and compile invocations of generic methods.

Aligning the type parameters of the ifaces, impls, and methods
correctly in typeck is almost brain surgery. Seems to work now for
everything I threw at it, but might still break in other corner cases.

Issue #1227

"str": rename "str_from_cstr" to "from_cstr" (analogous to the other "from_*")

"char": use shorter names "to_lower"/"to_upper", analogous to the same names in "str"

implement str::is_whitespace using char::is_whitespace

Add missing ty_constr cases to trans::type_of_inner and ty::fold_ty.

Closes #970

Allow tail expressions even in no_value blocks.  Type checker
will guarantee they have unit type.

new tests

extend parser so that expressions that do not require semi-colons
to be statements are not considered expressions in the tail position

rewrite to put blk as 2nd arg

minimal changes to permit fn blocks in expr

Merge pull request #1392 from Lenny222/list

list: add "is_not_empty" requirement to "head" and "tail" (analogous to "vec")

Make resolution of dictionaries on bounded params work

Issue #1227

Wire in resolution of param bounds for method calls

Issue #1227

Make syntax for impls less magical

The trick of interpreting parameters to the iface type as parameters
to the impl was just too magical.

Issue #1227

More work on translating dictionary-passing

Reached a point where simple uses of interfaces without bounds work.

Issue #1227

llvm: Revert unneeded debugging change

Fix expected error messages for better printing of ty_ptr

Add a clause ty_ptr to ppaux::ty_to_str

Closes #1383

Add 'copy' bounds to functions that were faultily accepted without

Issue #1390

Properly handle expression blocks in kind.rs

It was only noticing them in expr_block form, not as function
bodies.

Closes #1390

typo

Write out vtables for interface implementations

Issue #1227

Drop two useless sub-passes from trans

Neither collect_tag_ctors nor the second pass in collect_items needed
to be separate passes.

Also remove obsolete obj_methods table kludge.

Create a trans_impl module

Key tcx.ty_param_bounds on node_ids, not def_ids

This makes it clearer that it's only valid for local nodes.

Box arrays of parameter bounds

Pass bounds to trans::type_of_fn

More resolving and typechecking of bounded type parameters.

Extern interfaces still don't get recognized.

Issue #1227

Check that type parameter bounds are interface types

Issue #1227

Fix confusing information in tutorial chapter about argument modes

Make last-use pass properly handle closed-over variables

Closes #1399

llvm: Upgrade LLVM with FreeBSD segmented stack support

Add Jyun-Yan You to AUTHORS.txt

link with gcc44+

fix link error

add missing library, enable segmented stacks for freebsd

forgot to add parentheses

freebsd support

Merge pull request #1407 from erickt/master

The tutorial should mention the ++ arg passing style

"str": extract to_upper/lower_case() into "char"

tutorial: Mention by-value argument passing style.

core: added support for bessel functions

Removed now obsolete mtypes module

core: killed all math wrappers

Trying to remove wrappers from float

added more ops to cmath

removes std::mtypes

added useful constants to math

add cap clause to pretty printer, with a test

Print usage messages to rustc and rustdoc when invoked with no args. Close #1394.

Document copy/move/swap/assign expressions more accurately. Fix up some drift on log docs.

Make install and check targets depend on all. Close #1395.

Make clean cleaner.

add test for list:is_empty()

split proto from fn_decl, as not all fn_decls know the proto.
this will address the (crashing) new test added.

Purge some obsolete and/or not-implemented stuff from docs.

Of course there were overlong lines.

Teach unicode script to emit canonical and compat decomp mappings. Annoyingly large encoding.

Add support in lexer for utf8 identifiers. No NFKC logic in char yet.

list: use predicate to enforce non-empty requirement

Save and restore xmm regs across the call to UPCALL_NEW_STACK during __morestack, close #1388.

Remove obsolete comments.

Box ty_param_bounds_and_ty

It contains a vector, which shouldn't be copied all the time.

On second thought, re-land pull request #1385 with backquotes; easier to grep, can change in the future.

Merge pull request #1385 from Lenny222/quotes

Use singlequotes in the typechecker error messages too, to distinguish code and English

Merge pull request #1389 from erickt/master

misc standard library additions

Move the kind datatype to middle::ty

The AST no longer references it.

Change representation of type params to handle interface bounds

Issue #1227

Tidy up some drift in runtime logging, close #1380.

libstd: add bytes_reader and bytes_writer

This parallels nicely with string_reader and string_writer, but
working with raw byte strings. I'm not quite sure if the return
type for bytes_writer.get_bytes should be [u8] or [mutable u8]
though, so I'm arbitrarily picking mutable for now.

libstd: Allow io writer to write mutable arrays