aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
...
* rustc: Handle n-ary tag constructors in iter_structural_ty (which lets us ↵Patrick Walton2010-12-031-7/+20
| | | | process their refcounts correctly)
* Trim whitespace.Graydon Hoare2010-12-031-3/+3
|
* Change 'stratum' to the friendlier term 'layer'.Graydon Hoare2010-12-032-4/+4
|
* rustc: Translate nullary tag constructorsPatrick Walton2010-12-031-72/+174
|
* Drop slots on the way out of scopes. Un-XFAIL box.rs.Graydon Hoare2010-12-021-6/+22
|
* Modify block ctxt / cleanup handling to only occur on scope blocks.Graydon Hoare2010-12-021-15/+40
|
* Implement translation for deref unop.Graydon Hoare2010-12-021-2/+10
|
* Change order of basic blocks in copy_ty, makes nicer disassembly.Graydon Hoare2010-12-021-1/+1
|
* 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-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
|