aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
* Record the ast of uses and imports.Rafael Ávila de Espíndola2010-12-302-21/+59
|
* rustc: Make parametric return types go through an out pointerPatrick Walton2010-12-291-6/+30
|
* Add a -shared option to rustc and don't try to look for main if it is given.Rafael Ávila de Espíndola2010-12-292-6/+14
|
* Parse 'import' directives in rustc.Rafael Ávila de Espíndola2010-12-241-0/+44
|
* Parse 'use' directives in rustc.Rafael Ávila de Espíndola2010-12-241-0/+47
|
* Modify translation of obj methods to accept an initial recursive-self-typed ↵Graydon Hoare2010-12-231-60/+133
| | | | (in the LLVM sense) obj argument.
* Print recursive LLVM types.Graydon Hoare2010-12-231-6/+22
|
* rustc: Add a type_has_dynamic_size predicatePatrick Walton2010-12-221-0/+21
|
* Copy body tydesc and args into obj bodies.Graydon Hoare2010-12-221-3/+30
|
* Correct bug in typechecking ctor arguments to nonempty objects.Graydon Hoare2010-12-221-1/+2
|
* Allocate heap cells to store non-empty object bodies.Graydon Hoare2010-12-221-10/+45
|
* rustc: Move unification out of typeck.rs; trans will need it too.Patrick Walton2010-12-212-411/+449
|
* rustc: Reference count the function context in typechecking so that passing ↵Patrick Walton2010-12-211-22/+21
| | | | it around via objects isn't as costly
* Sort methods in object types.Graydon Hoare2010-12-211-0/+7
|
* rustc: Move type logic out of typeck so trans doesn't look like it's calling ↵Patrick Walton2010-12-215-912/+936
| | | | into typeck
* rustc: Sanitize names better. Puts out burning tinderbox on OS X.Patrick Walton2010-12-201-2/+14
|
* rustc: Add bind expressions to the ASTPatrick Walton2010-12-202-0/+26
|
* Null-check on obj box ptr, init to null. Un-XFAIL simple-obj.rs.Graydon Hoare2010-12-201-8/+26
|
* Support ty_obj in trans_field; simple-obj.rs compiles (but crashes).Graydon Hoare2010-12-201-4/+18
|
* Mop up cases of s/copy/take/, remove 'binding' terminology, whitespace ↵Graydon Hoare2010-12-203-41/+37
| | | | police, and make obj/fn structural.
* rustc: Use the passed-in tydescs for take and drop glue in parametric fns. ↵Patrick Walton2010-12-202-6/+27
| | | | Also fix a level-of-indirection problem with tydesc params.
* rustc: Print the type when we die in trans.make_drop_glue_innerPatrick Walton2010-12-201-1/+2
|
* rustc: Add a type param ID -> type descriptor mapping to function contextsPatrick Walton2010-12-201-16/+30
|
* Put out burning tree (sizeof / alignof bug).Graydon Hoare2010-12-201-14/+19
|
* Use gvars for vtbls rather than returning const immediates.Graydon Hoare2010-12-201-1/+7
|
* Trailing whitespace police.Graydon Hoare2010-12-201-2/+2
|
* rustc: Build tydescs for types, and make all take and drop operations go ↵Patrick Walton2010-12-202-27/+54
| | | | through the tydescs for simplicity (LLVM inlines them).
* rustc: Remove the unused "name" parameter from trans.new_builderPatrick Walton2010-12-171-4/+4
|
* rustc: Make some no-op take and drop glue for scalar typesPatrick Walton2010-12-171-24/+34
|
* Split part of typeck.check_fn out into typeck.check_item_fn, then check all ↵Graydon Hoare2010-12-171-17/+33
| | | | fns, including obj fns.
* rustc: Make all drop and take glue have the same signature, so we can put ↵Patrick Walton2010-12-172-14/+28
| | | | them in tydescs
* Record type annotations for methods.Graydon Hoare2010-12-171-2/+40
|
* rustc: Zero out slots after dropping themPatrick Walton2010-12-171-2/+8
|
* Trans methods more correctly, and store vtbl pointer in pair returned from ↵Graydon Hoare2010-12-171-4/+14
| | | | obj ctor.
* Remove calltup fields from ABI, add binding fields.Graydon Hoare2010-12-161-6/+17
|
* Sketch trans_vtbl.Graydon Hoare2010-12-163-4/+14
|
* rustc: Translate parametric function signatures into task + type parameters ↵Patrick Walton2010-12-162-0/+52
| | | | + formal arguments
* Stub out translation of obj ctors (no vtbl or body built).Graydon Hoare2010-12-161-0/+40
|
* rustc: Add a type fold mechanism to the typecheckerPatrick Walton2010-12-161-63/+83
|
* rustc: Only generalize on definition types that can actually be parametricPatrick Walton2010-12-161-4/+2
|
* rustc: Write types back when typechecking "ret" statementsPatrick Walton2010-12-161-3/+3
|
* rustc: Make trans.type_of handle parameter typesPatrick Walton2010-12-161-2/+4
|
* rustc: Infer the types of type-parametric functionsPatrick Walton2010-12-161-0/+76
|
* Annotate obj items while folding ast in typeck.Graydon Hoare2010-12-161-0/+11
|
* Collect obj items, translate obj-name references and obj-ctor types.Graydon Hoare2010-12-161-19/+51
|
* Typecheck object method calls.Graydon Hoare2010-12-151-0/+30
|
* Convert obj item type to ctor type rather than obj type.Graydon Hoare2010-12-151-8/+29
|
* rustc: Move next_var_id back to the crate context in typechecking; we'll ↵Patrick Walton2010-12-151-22/+39
| | | | need it when collecting item types
* rustc: Resolve type paramsPatrick Walton2010-12-151-1/+6
|
* Teach typeck to stringify obj types.Graydon Hoare2010-12-151-6/+33
|