about summary refs log tree commit diff
path: root/src/comp/front
AgeCommit message (Collapse)AuthorLines
2011-10-20Convert the test runners to typesafe spawnBrian Anderson-2/+58
Issue #1022
2011-10-12make a good error msg if you try to use an unsafe fn for a testNiko Matsakis-7/+20
2011-10-12improve the span used in test generationNiko Matsakis-6/+8
2011-10-12make treatment of unchecked/unsafe blocks more uniformNiko Matsakis-2/+2
also repair various errors in the parser related to such blocks. rename checked_blk to default_blk to reflect the fact that it inherits its purity from the surrounding context.
2011-10-12Extend the unchecked block stuff to allow unsafe blocks as well.Niko Matsakis-2/+3
2011-10-10Adjust function signatures to allow for vecs being immediateMarijn Haverbeke-1/+1
Some code was relying on vectors being implicitly by-reference (as non-immediate value). This adds the necessary &&-sigils. Closes #1021
2011-10-10Make vectors and strings immediates againMarijn Haverbeke-1/+1
There's no good reason to force them to be spilled anymore. Some pieces of trans become more elegant this way, and less stack allocs and load/stores are needed. Issue #1021
2011-10-07Give up on providing a by-value version of map, convert fold over toMarijn Haverbeke-6/+6
passing pointers by ref Issue #1008
2011-10-07Parse and typecheck by-value and by-ref arg specsMarijn Haverbeke-26/+25
Add sprinkle && throughout the compiler to make it typecheck again. Issue #1008
2011-09-19Break fold's circular reference during unwindingBrian Anderson-4/+0
This converts the AST fold into a resource that breaks it's own circular reference (just a temporary workaround until GC), so that failure during fold will unwind correctly. Issue #936
2011-09-16Remove autoderef for callsMarijn Haverbeke-2/+2
We were only using it in a single place, and there for no discernable reason (probably as part of the bare-fn-vals-are-not-copyable plan). It seems more surprising than useful.
2011-09-14Rename ast::controlflow to ast::ret_styleMarijn Haverbeke-3/+3
It will include information about returning by alias.
2011-09-12Factor imports mindlessly.Graydon Hoare-15/+6
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-52/+51
Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit.
2011-09-12Make the names of the arg mode tag reflect their (revised) meaningMarijn Haverbeke-1/+2
2011-09-02Rename ty_istr to ty_str. Issue #855Brian Anderson-1/+1
2011-09-02Reformat. Issue #855Brian Anderson-50/+37
2011-09-01Remove lots of estr code from rustc. Issue #855Brian Anderson-3/+3
2011-09-01Convert all uses of #ifmt to #fmt. Issue #855Brian Anderson-8/+8
2011-09-01Rename std::istr to std::str. Issue #855Brian Anderson-2/+2
2011-09-01Parse "",str as istrs. Pretty print istrs as "",str. Issue #855Brian Anderson-1/+1
2011-09-01Remove std::str. Issue #855Brian Anderson-1/+0
2011-09-01Convert std::test to istrs. Issue #855Brian Anderson-2/+2
2011-08-31Convert uses of #fmt to #ifmt. Issue #855Brian Anderson-17/+15
2011-08-27Convert misc compiler bits to istrs. Issue #855Brian Anderson-2/+3
2011-08-27Convert rustc::driver::session to istrs. Issue #855Brian Anderson-2/+2
2011-08-27Convert rustc::syntax::ast_util to istrs. Issue #855Brian Anderson-4/+5
2011-08-27Convert pretty-printer to istrs. Issue #855Brian Anderson-3/+6
2011-08-27Convert rest of the AST to istrs. Issue #855Brian Anderson-3/+5
2011-08-27Convert ast::ident to istr. Issue #855Brian Anderson-21/+23
2011-08-25Support unchecked blocksTim Chevalier-8/+7
This patch supports the syntax unchecked { ... } to disable purity checking within a block. Presumably it will only be used within a declared "pure fn". However, there is no checking that it doesn't occur elsewhere, and it would be harmless for it to do so. I went with Lindsey's suggestion for the syntax, but it's subject to change. This allows you to write code that uses predicates that call arbitrary Rust functions, but you must declare your intentions by wrapping it in an unchecked { ... } block. The test case run-pass/unchecked-predicates.rs demonstrates how to do that.
2011-08-23Add kind-checking for assign-op, copy, ret, be, fail exprs. Fix caught ↵Graydon Hoare-2/+2
kinding-violations in rustc and libstd.
2011-08-22Move functions from syntax::ast to syntax::ast_utilBrian Anderson-19/+22
This leaves syntax::ast just defining the AST, which strikes me as somewhat nicer
2011-08-20ReformatBrian Anderson-64/+56
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-18Rename various things from ivec to vecBrian Anderson-4/+4
2011-08-18Change ast::ty_ivec, ty::ty_ivec to ty_vecBrian Anderson-2/+2
2011-08-18Remove seq_kind from ast::expr_vecBrian Anderson-1/+1
2011-08-18Remove or _-prefix all unused function argumentsMarijn Haverbeke-1/+2
This should make the compilation process a bit less noisy.
2011-08-17Purge vecs from the std::test interfaceBrian Anderson-1/+1
2011-08-16Port the compiler to the expr foo::<T> syntax.Erick Tryzelaar-1/+1
2011-08-16Port the compiler to foo<T> decl syntax.Erick Tryzelaar-2/+2
2011-08-16Port the compiler to the typaram foo<T> syntax.Erick Tryzelaar-10/+10
2011-08-16Rename std::ivec to std::vecBrian Anderson-23/+23
2011-08-16Add and use an ivec interface to std::testBrian Anderson-3/+3
2011-08-15The wonky for...in... whitespace was bothering me. Sorry!Lindsey Kuper-8/+8
2011-08-15Make spans into stacks (to store expansion backtraces).Paul Stansifer-16/+16
2011-08-12Don't rely on binop autoderef in the compiler.Michael Sullivan-1/+1
2011-08-12Remove vecs from std::sortBrian Anderson-1/+1
2011-08-09Port the compiler to the ivec type [T] syntax.Erick Tryzelaar-24/+24
2011-08-05rustc: Add inlineness to the fn decl insteadPatrick Walton-0/+2