aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Expand)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 ta...Patrick Walton2010-12-021-25/+33
* 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 up...Graydon Hoare2010-12-014-12/+75
* 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 name...Graydon Hoare2010-11-261-88/+98
* Avoid segfault due to fallthrough in base case of incr_all_refcounts. We coul...Graydon Hoare2010-11-261-0/+1
* 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 pending...Patrick Walton2010-11-231-0/+21
* rustc: As an experiment, swap the expected/actual types when checking functio...Patrick Walton2010-11-231-2/+2
* 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-222-0/+24
* rustc: "Expected" and "actual" were swapped. Also un-XFAIL compile-fail/arg-c...Patrick Walton2010-11-221-16/+16
* Remove the global bindings table in the typecheckerPatrick Walton2010-11-221-99/+304
* Check and translate 'as' cast-operator, lower target-specific types, reindent...Graydon Hoare2010-11-222-2/+105
* Fix type disagreements in lowering typeck.ty to llvm TypeRefs, enable complex...Graydon Hoare2010-11-221-10/+10
* Check for structural equality rather than structural-and-cname equality.Graydon Hoare2010-11-221-1/+1