aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
* Typecheck the box and deref unops properly.Graydon Hoare2010-12-021-1/+17
|
* rustc: Remove the overly complex variant_indices and n_ary_variant_indices ↵Patrick Walton2010-12-021-25/+33
| | | | tables
* rustc: Add stub support for tag constructors in transPatrick Walton2010-12-013-1/+139
|
* Add code to fail on non-exhaustive alt matching. Fix all cases this picked ↵Graydon Hoare2010-12-015-13/+81
| | | | up in rustc.
* rustc: Annotate variants with their types. This may be useful for trans!Patrick Walton2010-12-014-9/+20
|
* rustc: Typecheck tag constructorsPatrick Walton2010-12-011-1/+36
|
* rustc: Fix segfault due to nonexhaustive match when using tagsPatrick Walton2010-12-011-0/+3
|
* rustc: Resolve tag variant namesPatrick Walton2010-12-013-18/+65
|
* 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-302-0/+78
|
* 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-295-75/+44
|
* 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-261-4/+35
|
* 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-231-0/+21
| | | | 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
|
* Support mach types in rustc, enable 5 more tests.Graydon Hoare2010-11-225-34/+125
|
* rustc: "Expected" and "actual" were swapped. Also un-XFAIL ↵Patrick Walton2010-11-221-16/+16
| | | | compile-fail/arg-count-mismatch.rs for good measure.