about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Expand)AuthorLines
2010-12-30Assign method types properly by sorted-order.Graydon Hoare-8/+12
2010-12-30Teach typeck to check obj field accesses.Graydon Hoare-3/+41
2010-12-30Teach resolve to find obj fields and ty params from methods.Graydon Hoare-0/+12
2010-12-30Add def id to ast for obj fields.Graydon Hoare-0/+1
2010-12-30Record the ast of uses and imports.Rafael Ávila de Espíndola-21/+59
2010-12-29rustc: Make parametric return types go through an out pointerPatrick Walton-6/+30
2010-12-29Add a -shared option to rustc and don't try to look for main if it is given.Rafael Ávila de Espíndola-6/+14
2010-12-24Parse 'import' directives in rustc.Rafael Ávila de Espíndola-0/+44
2010-12-24Parse 'use' directives in rustc.Rafael Ávila de Espíndola-0/+47
2010-12-23Modify translation of obj methods to accept an initial recursive-self-typed (...Graydon Hoare-60/+133
2010-12-23Print recursive LLVM types.Graydon Hoare-6/+22
2010-12-22rustc: Add a type_has_dynamic_size predicatePatrick Walton-0/+21
2010-12-22Copy body tydesc and args into obj bodies.Graydon Hoare-3/+30
2010-12-22Correct bug in typechecking ctor arguments to nonempty objects.Graydon Hoare-1/+2
2010-12-22Allocate heap cells to store non-empty object bodies.Graydon Hoare-10/+45
2010-12-21rustc: Move unification out of typeck.rs; trans will need it too.Patrick Walton-411/+449
2010-12-21rustc: Reference count the function context in typechecking so that passing i...Patrick Walton-22/+21
2010-12-21Sort methods in object types.Graydon Hoare-0/+7
2010-12-21rustc: Move type logic out of typeck so trans doesn't look like it's calling ...Patrick Walton-912/+936
2010-12-20rustc: Sanitize names better. Puts out burning tinderbox on OS X.Patrick Walton-2/+14
2010-12-20rustc: Add bind expressions to the ASTPatrick Walton-0/+26
2010-12-20Null-check on obj box ptr, init to null. Un-XFAIL simple-obj.rs.Graydon Hoare-8/+26
2010-12-20Support ty_obj in trans_field; simple-obj.rs compiles (but crashes).Graydon Hoare-4/+18
2010-12-20Mop up cases of s/copy/take/, remove 'binding' terminology, whitespace police...Graydon Hoare-41/+37
2010-12-20rustc: Use the passed-in tydescs for take and drop glue in parametric fns. Al...Patrick Walton-6/+27
2010-12-20rustc: Print the type when we die in trans.make_drop_glue_innerPatrick Walton-1/+2
2010-12-20rustc: Add a type param ID -> type descriptor mapping to function contextsPatrick Walton-16/+30
2010-12-20Put out burning tree (sizeof / alignof bug).Graydon Hoare-14/+19
2010-12-20Use gvars for vtbls rather than returning const immediates.Graydon Hoare-1/+7
2010-12-20Trailing whitespace police.Graydon Hoare-2/+2
2010-12-20rustc: Build tydescs for types, and make all take and drop operations go thro...Patrick Walton-27/+54
2010-12-17rustc: Remove the unused "name" parameter from trans.new_builderPatrick Walton-4/+4
2010-12-17rustc: Make some no-op take and drop glue for scalar typesPatrick Walton-24/+34
2010-12-17Split part of typeck.check_fn out into typeck.check_item_fn, then check all f...Graydon Hoare-17/+33
2010-12-17rustc: Make all drop and take glue have the same signature, so we can put the...Patrick Walton-14/+28
2010-12-17Record type annotations for methods.Graydon Hoare-2/+40
2010-12-17rustc: Zero out slots after dropping themPatrick Walton-2/+8
2010-12-17Trans methods more correctly, and store vtbl pointer in pair returned from ob...Graydon Hoare-4/+14
2010-12-16Remove calltup fields from ABI, add binding fields.Graydon Hoare-6/+17
2010-12-16Sketch trans_vtbl.Graydon Hoare-4/+14
2010-12-16rustc: Translate parametric function signatures into task + type parameters +...Patrick Walton-0/+52
2010-12-16Stub out translation of obj ctors (no vtbl or body built).Graydon Hoare-0/+40
2010-12-16rustc: Add a type fold mechanism to the typecheckerPatrick Walton-63/+83
2010-12-16rustc: Only generalize on definition types that can actually be parametricPatrick Walton-4/+2
2010-12-16rustc: Write types back when typechecking "ret" statementsPatrick Walton-3/+3
2010-12-16rustc: Make trans.type_of handle parameter typesPatrick Walton-2/+4
2010-12-16rustc: Infer the types of type-parametric functionsPatrick Walton-0/+76
2010-12-16Annotate obj items while folding ast in typeck.Graydon Hoare-0/+11
2010-12-16Collect obj items, translate obj-name references and obj-ctor types.Graydon Hoare-19/+51
2010-12-15Typecheck object method calls.Graydon Hoare-0/+30