aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
* Tidy up structural types for rec, tup AST and typeck nodes.Graydon Hoare2010-11-305-117/+117
|
* rustc: Add def ids to variantsPatrick Walton2010-11-303-3/+5
|
* Finish support for typechecking and translating records. Un-XFAIL rec.rs.Graydon Hoare2010-11-303-0/+79
|
* Wrap long lines.Graydon Hoare2010-11-291-3/+5
|
* Teach typechecker about record types.Graydon Hoare2010-11-291-1/+109
|
* rustc: Implement the block syntax discussed on the mailing listPatrick Walton2010-11-295-44/+144
|
* Teach fold about ty_rec.Graydon Hoare2010-11-291-0/+18
|
* Add ty_rec and parse it.Graydon Hoare2010-11-292-0/+18
|
* Change mutability into a type constructor.Graydon Hoare2010-11-296-75/+51
|
* Change from bool to tag ast.mutability.Graydon Hoare2010-11-295-49/+65
|
* Add ast.ty_mutable.Graydon Hoare2010-11-294-2/+39
|
* Add mut field to typeck.ty.Graydon Hoare2010-11-291-4/+4
|
* Copy args to allocas, change llargs lookups to 'in mem'. Un-XFAIL tup.rs.Graydon Hoare2010-11-262-4/+36
|
* Load structural values through pointer before passing structs as args.Graydon Hoare2010-11-261-18/+22
|
* Pass exprs by @, always treat structural types by pointer, move path and ↵Graydon Hoare2010-11-261-88/+98
| | | | name into trans_lval.
* Avoid segfault due to fallthrough in base case of incr_all_refcounts. We ↵Graydon Hoare2010-11-261-0/+1
| | | | could use a typestate checker in rustc, any time now.
* Declare the memcpy intrinsics properly.Graydon Hoare2010-11-261-13/+19
|
* Return memcpy src rather than falling through and failing.Graydon Hoare2010-11-251-0/+1
|
* Cast memcpy args to correct types.Graydon Hoare2010-11-251-3/+7
|
* Add lookup checks and intrinsics table to trans.Graydon Hoare2010-11-252-5/+24
|
* Add missed case to typeck.ast_ty_to_ty, plus faux exhaustiveness check.Graydon Hoare2010-11-251-0/+11
|
* Fix typo in numeric-label-parsing loop.Graydon Hoare2010-11-251-4/+11
|
* Translate field expressions.Graydon Hoare2010-11-251-0/+21
|
* Typecheck field expressions.Graydon Hoare2010-11-251-1/+48
|
* Typecheck tup expressions.Graydon Hoare2010-11-251-0/+15
|
* Translate tuple-expressions.Graydon Hoare2010-11-241-0/+23
|
* rustc: Assign definition IDs to type paramsPatrick Walton2010-11-242-2/+8
|
* rustc: Parse type-parametric typedefsPatrick Walton2010-11-245-14/+18
|
* rustc: Parse type-parametric tagsPatrick Walton2010-11-243-13/+21
|
* Sketch out type-directed structural drop and copy, including vector types.Graydon Hoare2010-11-243-28/+237
|
* move expr_call translation into helper function.Graydon Hoare2010-11-241-8/+12
|
* Move expr_cast translation into helper function.Graydon Hoare2010-11-241-28/+32
|
* rustc: Parse type-parametric functionsPatrick Walton2010-11-246-18/+38
|
* rustc: Don't require a semicolon after an "alt" statementPatrick Walton2010-11-241-0/+6
|
* rustc: Add patterns to foldPatrick Walton2010-11-243-9/+98
|
* rustc: Parse simple patternsPatrick Walton2010-11-242-0/+87
|
* rustc: Parse tag items. Currently segfaults in copy glue.Patrick Walton2010-11-243-0/+75
|
* rustc: Typecheck whiles and do-whiles. Add a workaround to complex.rs ↵Patrick Walton2010-11-233-1/+24
| | | | pending a solution to the one-armed-if problem.
* rustc: As an experiment, swap the expected/actual types when checking ↵Patrick Walton2010-11-231-2/+2
| | | | function arguments. Produces better diagnostics for arg-type-mismatch.rs.
* Remove warning about non-void expr stmts.Graydon Hoare2010-11-221-6/+0
|
* rustc: Un-XFAIL compile-fail/arg-type-mismatch.rs.Patrick Walton2010-11-221-0/+1
|
* Support mach types in rustc, enable 5 more tests.Graydon Hoare2010-11-226-34/+130
|
* rustc: "Expected" and "actual" were swapped. Also un-XFAIL ↵Patrick Walton2010-11-222-16/+26
| | | | compile-fail/arg-count-mismatch.rs for good measure.
* Remove the global bindings table in the typecheckerPatrick Walton2010-11-221-99/+304
|
* Check and translate 'as' cast-operator, lower target-specific types, ↵Graydon Hoare2010-11-225-81/+229
| | | | reindent rustc.rs, enable uint test.
* Fix type disagreements in lowering typeck.ty to llvm TypeRefs, enable ↵Graydon Hoare2010-11-222-10/+11
| | | | complex.rs test.
* Check for structural equality rather than structural-and-cname equality.Graydon Hoare2010-11-221-1/+1
|
* Resolve the easy case of type paths.Graydon Hoare2010-11-221-0/+35
|
* Accumulate type paths as we parse, rather than throwing them away.Graydon Hoare2010-11-221-0/+1
|
* rustc: "expectied" -> "expected" in parser.rs; also say what was foundPatrick Walton2010-11-221-1/+3
|