about summary refs log tree commit diff
path: root/src/comp/util
AgeCommit message (Collapse)AuthorLines
2011-08-27Convert pretty-printer to istrs. Issue #855Brian Anderson-7/+5
2011-08-27Convert rustc::util to istrs. Issue #855Brian Anderson-76/+83
2011-08-27Convert ast::ident to istr. Issue #855Brian Anderson-9/+15
2011-08-27Convert portions of rustc to istrs. Recover a lot of performance.Brian Anderson-3/+3
Issue #855
2011-08-27Convert std::int to istrs. Issue #855Brian Anderson-2/+6
2011-08-27Convert std::uint to istrs. Issue #855Brian Anderson-2/+3
2011-08-26Polymorphic MapReduce!Eric Holk-0/+1
2011-08-22Move functions from syntax::ast to syntax::ast_utilBrian Anderson-1/+1
This leaves syntax::ast just defining the AST, which strikes me as somewhat nicer
2011-08-20ReformatBrian Anderson-60/+58
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-18Some cleanup in ty_to_str.Michael Sullivan-30/+27
2011-08-18Print tag names in type error messages. Closes #834.Michael Sullivan-5/+15
2011-08-18Change ast::ty_ivec, ty::ty_ivec to ty_vecBrian Anderson-1/+1
2011-08-18Remove ast::ty_vecBrian Anderson-1/+0
2011-08-16Port the compiler to the expr foo::<T> syntax.Erick Tryzelaar-4/+4
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-7/+7
2011-08-16Removing tasks, ports and chans from the compiler.Eric Holk-3/+0
2011-08-16Rename std::ivec to std::vecBrian Anderson-3/+3
2011-08-15The wonky for...in... whitespace was bothering me. Sorry!Lindsey Kuper-6/+6
2011-08-15Fix bad argument type of pprust::print_typeMarijn Haverbeke-1/+1
AST types are boxed, there's no need for every caller to do the unboxing
2011-08-15Tuple fields are immutableMarijn Haverbeke-9/+1
2011-08-15Tuple types back, not constructable yetMarijn Haverbeke-0/+5
2011-08-12Rename std::ioivec to std::ioBrian Anderson-3/+3
2011-08-12Rename str::connect_ivec to str::connectBrian Anderson-4/+4
2011-08-12Convert uses of str::connect to str::connect_ivecBrian Anderson-3/+3
2011-08-12Rename std::str::unsafe_from_bytes_ivec to unsafe_from_bytesBrian Anderson-1/+1
2011-08-12Convert all uses of unsafe_from_bytes to unsafe_from_bytes_ivecBrian Anderson-1/+1
2011-08-10rustc: Add unique pointers to the set of types we supportPatrick Walton-1/+2
2011-08-09Port the compiler to the ivec type [T] syntax.Erick Tryzelaar-10/+10
2011-08-03Do a bunch more typechecking for iters and for each loops.Michael Sullivan-1/+2
Closes #771. Closes #772. Closes #796.
2011-08-02Move ppaux::ty_to_str to new record syntaxMarijn Haverbeke-2/+2
2011-07-29Enable kind checking on typarams, fix kind constraints in library and comp.Graydon Hoare-1/+1
2011-07-28Thread kinds into the type system. Don't quite activate yet, since it breaks ↵Graydon Hoare-1/+1
stdlib and snapshot isn't ready to compile modified stdlib.
2011-07-28Show millisecond precision for time_passes timesMarijn Haverbeke-0/+22
Closes #713
2011-07-27Reformat for new syntaxMarijn Haverbeke-210/+178
2011-07-26Convert all code that uses walk.rs in the straightforward way to simple_visitMarijn Haverbeke-5/+5
Code that needs the keep_going functionality is still using walk. I will add an equivalent to visit.rs later.
2011-07-26Remove tuple support from the compilerMarijn Haverbeke-5/+0
2011-07-26Remove all uses of tuples from the compiler and stdlibMarijn Haverbeke-5/+6
2011-07-25Rename the block type to be blk also. Sorry.Michael Sullivan-3/+3
2011-07-19Have fn_to_str use proto_to_str.Michael Sullivan-5/+2
2011-07-19Beginnings of support for constrained typesTim Chevalier-5/+13
Programs with constrained types now parse and typecheck, but typestate doesn't check them specially, so the one relevant test case so far is XFAILed. Also rewrote all of the constraint-related data structures in the process (again), for some reason. I got rid of a superfluous data structure in the context that was mapping front-end constraints to resolved constraints, instead handling constraints in the same way in which everything else gets resolved.
2011-07-14rustc: Move much of metadata reading over to interior vectorsPatrick Walton-4/+3
2011-07-13Make resolve and the typechecker check for a main fn of theTim Chevalier-1/+4
correct type This means if a non-library program leaves out the main program, the error gets caught earlier than link. Closes #626.
2011-07-12rustc: Remove some useless std::vec importsPatrick Walton-1/+0
2011-07-12rustc: Remove some interior vectors from typestate and some useless ↵Patrick Walton-8/+0
vec-related imports
2011-07-12rustc: Move ppaux away from exterior vectorsPatrick Walton-14/+12
2011-07-13Use switches rather than chained conditionals to compile alt matchesMarijn Haverbeke-0/+1
This also moves the alt-related trans code into its own file. Closes #467
2011-07-11In typeck, check for dynamically sized by-value arguments to thunksTim Chevalier-0/+13
A check in trans didn't have a corresponding check in typeck, causing some programs (to wit, compile-fail/chan-parameterized-args.rs - part of this commit) to fail with an assertion failure in trans instead of a type error. Fixed it. In short, arguments that are future thunk arguments (any spawn arguments, and _ arguments in bind) need to either not contain type params or type vars, or be by-reference. Closes #665.
2011-07-07Rename encoder::ty_str to encoded_strBrian Anderson-1/+1
2011-07-07Move tyencode::ty_str to metadata::encoderBrian Anderson-1/+2