about summary refs log tree commit diff
path: root/src/rustc/middle
AgeCommit message (Expand)AuthorLines
2012-04-23Misc code cleanups using list::each for list iterationMarijn Haverbeke-71/+46
2012-04-23Fix broken determination of external method type param countMarijn Haverbeke-4/+6
2012-04-21rustc: Cache constant C strings. Closes #2264Brian Anderson-0/+11
2012-04-20Print out return type correctly in typestate error messageTim Chevalier-6/+8
2012-04-20Get borrowing working on fixed evecs.Graydon Hoare-8/+15
2012-04-20Add new syntax for patterns that match the head constructor onlyTim Chevalier-23/+41
2012-04-19make nominal types optionally parameterized by a self region.Niko Matsakis-789/+915
2012-04-19correct universally_quantify to use structure_of, and introduce a test for thisNiko Matsakis-42/+49
2012-04-19Annotate FIXMEs in parserTim Chevalier-2/+4
2012-04-19Add a lint pass to check for while true { ... } loopsTim Chevalier-3/+37
2012-04-19Get evec slices and unique-evec slice-borrowing working.Graydon Hoare-2/+12
2012-04-19Disallow rebinding / matching against consts in altsTim Chevalier-42/+46
2012-04-19Get fixed-size evecs working.Graydon Hoare-56/+111
2012-04-18Fix [] on str to exclude the trailing null.Graydon Hoare-5/+9
2012-04-18Require values to be copyable when castMarijn Haverbeke-10/+11
2012-04-18Fix oversight in type_use.rsMarijn Haverbeke-0/+15
2012-04-18Stop duplicating non-generic resource destructorsMarijn Haverbeke-6/+17
2012-04-18Add a needs_drop intrinsicMarijn Haverbeke-1/+6
2012-04-18Fix use of wrong block context in return-from-loop codeMarijn Haverbeke-2/+2
2012-04-17Implement slice-borrowing on estr-uniq and str values.Graydon Hoare-64/+86
2012-04-17new debug flag, new testNiko Matsakis-1/+1
2012-04-17repair LUB/GLB of free/scope regions, and enable testNiko Matsakis-35/+70
2012-04-16rewrite region resolution so it takes place in typeckNiko Matsakis-875/+993
2012-04-16Get explicit unique estrs working.Graydon Hoare-20/+22
2012-04-15syntax: Cleanup attr module. Closes #1545Brian Anderson-2/+2
2012-04-15Forbid deinitializing upvars in typestateTim Chevalier-15/+41
2012-04-14implement evec/estr subtyping/lub/glb/etcNiko Matsakis-7/+66
2012-04-13integrate simple notion of borrowing into transNiko Matsakis-19/+82
2012-04-13store into the borrowings tableNiko Matsakis-59/+61
2012-04-13add initial code re: slices to borrowing, improve ty_to_strNiko Matsakis-0/+13
2012-04-13first stab at type checking for borrow: not integrated into transNiko Matsakis-333/+359
2012-04-13Annotate FIXMEs in syntax::ast and syntax::ast_utilTim Chevalier-11/+11
2012-04-12rustc: Fix handling of - and _ in lint passBrian Anderson-1/+1
2012-04-12Support general warnings and errors in lint pass via flags and attrs. Close #...Graydon Hoare-102/+216
2012-04-11rustc: Long linesBrian Anderson-1/+2
2012-04-11rustc: Fix typo in error messageBrian Anderson-2/+2
2012-04-11rewrite lookup_method(), lookup_method_inner(), and lookup_method_inner_()Niko Matsakis-302/+304
2012-04-11refactor fixup_selfNiko Matsakis-59/+88
2012-04-11first attempt at an assignability checkNiko Matsakis-61/+117
2012-04-11simplify demand moduleNiko Matsakis-64/+23
2012-04-11Allow classes to implement ifacesTim Chevalier-72/+139
2012-04-11Translate slice-strings and make fixed-strings carry their null.Graydon Hoare-26/+35
2012-04-11Improve region code surrounding slice types.Graydon Hoare-82/+78
2012-04-11Add vstore/evec/estr to compiler.Graydon Hoare-60/+425
2012-04-10Generic classes and generic class methods work cross-crateTim Chevalier-58/+112
2012-04-09make anything used in a resource body always reachableNiko Matsakis-1/+5
2012-04-09rustc: External fns declared as fns not global variablesHaitao Li-4/+11
2012-04-09rustc: Declare rust_start as a functionHaitao Li-3/+1
2012-04-07Revert "Mangle exported names using node IDs rather than types"Brian Anderson-4/+4
2012-04-07Do not consider ty_bot to be a "resolved type".Niko Matsakis-2/+4