aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Collapse)AuthorAgeFilesLines
...
* Don't drop context returned from decl-init call to copy_ty.Graydon Hoare2010-12-021-2/+2
|
* Improve translations of unary box operator and drop_ty on boxes.Graydon Hoare2010-12-021-22/+46
|
* rustc: Change fn_names and fn_ids to item_names and item_ids in trans, since ↵Patrick Walton2010-12-021-12/+12
| | | | we're soon to be storing tags in there too
* rustc: Remove the premature optimization for nullary tag constructors, since ↵Patrick Walton2010-12-021-5/+4
| | | | it'll be no longer necessary once LLVM gets a unit type
* Add ty_boxed to typeck.type_is_boxed.Graydon Hoare2010-12-021-0/+1
|
* Fix fold bug on expr_unary.Graydon Hoare2010-12-022-1/+3
|
* 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-012-1/+126
|
* Add code to fail on non-exhaustive alt matching. Fix all cases this picked ↵Graydon Hoare2010-12-014-12/+75
| | | | up in rustc.
* rustc: Annotate variants with their types. This may be useful for trans!Patrick Walton2010-12-012-7/+17
|
* 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-011-2/+21
|
* Tidy up structural types for rec, tup AST and typeck nodes.Graydon Hoare2010-11-303-83/+80
|
* rustc: Add def ids to variantsPatrick Walton2010-11-301-1/+1
|
* 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-293-26/+44
|
* Teach fold about ty_rec.Graydon Hoare2010-11-291-0/+18
|
* Change mutability into a type constructor.Graydon Hoare2010-11-293-56/+39
|
* Change from bool to tag ast.mutability.Graydon Hoare2010-11-293-35/+40
|
* Add ast.ty_mutable.Graydon Hoare2010-11-292-1/+25
|
* 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: Parse type-parametric typedefsPatrick Walton2010-11-243-11/+13
|
* rustc: Parse type-parametric tagsPatrick Walton2010-11-241-4/+7
|
* Sketch out type-directed structural drop and copy, including vector types.Graydon Hoare2010-11-242-28/+227
|
* 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-244-15/+26
|
* rustc: Add patterns to foldPatrick Walton2010-11-241-0/+83
|
* rustc: Parse tag items. Currently segfaults in copy glue.Patrick Walton2010-11-241-0/+23
|
* 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
|