aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Collapse)AuthorAgeFilesLines
...
* Figure out what tydescs we need to pass when translating parametric function ↵Patrick Walton2011-01-122-4/+57
| | | | calls
* Fix another import case we got wrong: The local environment should notRafael Ávila de Espíndola2011-01-111-27/+47
| | | | interfere with the import statements.
* Fix two invalid import cases we were not detecting:Rafael Ávila de Espíndola2011-01-111-12/+29
| | | | | | | * If an import was unused we would never print any errors for it. * We would keep the existing environment in scope when descending 'foo.bar' and would find 'bar' in the global environment if there was no 'bar' in 'foo'.
* Drop closures. Un-XFAIL bind-interior.rs.Graydon Hoare2011-01-071-7/+54
|
* Add sufficient import support to compile some simple single-crate programs.Rafael Ávila de Espíndola2011-01-072-36/+115
| | | | | This is likely not the final solution. It does repetitive work and doesn't produce errors for invalid but unused imports. In any case, I think it is a useful step.
* Synthesize closure thunks, and pass closure pointer into fn calls.Graydon Hoare2011-01-071-30/+170
|
* Whitespace cleanup, and copy target into closure.Graydon Hoare2011-01-061-7/+10
|
* Add the boilerplate for folding view items.Rafael Ávila de Espíndola2011-01-061-1/+65
|
* Sketch closure-forming logic for nontrivial bindings.Graydon Hoare2011-01-051-4/+73
|
* Translate trivial bindings. Un-XFAIL bind-trivial.rs.Graydon Hoare2011-01-051-8/+20
|
* Use uniform pair representation of functions everywhere, including static ↵Graydon Hoare2011-01-051-38/+113
| | | | functions.
* rustc: Allow the type unification handler to handle both expected and actual ↵Patrick Walton2011-01-042-4/+20
| | | | param types
* Correct function pointer type in closure.Graydon Hoare2011-01-041-2/+2
|
* Merge remote branch 'espindola/import'Graydon Hoare2011-01-041-2/+2
|\
| * Add names from imports to the namespace.Rafael Ávila de Espíndola2011-01-041-2/+2
| |
* | rustc: Add an item type accessorPatrick Walton2011-01-041-0/+38
|/
* Add support for looking up a name introduced by a 'use'.Rafael Ávila de Espíndola2011-01-041-0/+14
| | | | | | | | | | With this we go from "error: unresolved name: foo" to "unimplemented definition variant for: foo" in use foo; fn main(vec[str] args) { foo.bar(); }
* Begin sketching translation of bind_expr. No captures yet, also crashy.Graydon Hoare2011-01-031-1/+40
|
* Typecheck expr_bind.Graydon Hoare2011-01-031-13/+57
|
* Add type accessors for fn types.Graydon Hoare2011-01-031-0/+24
|
* Fix fold bug on expr_bind.Graydon Hoare2011-01-031-0/+3
|
* Translate local item decls.Graydon Hoare2010-12-311-0/+3
|
* Update method-fold env with fake item_fn representing the method.Graydon Hoare2010-12-311-1/+12
|
* Change resolve errs to span_errs.Graydon Hoare2010-12-311-4/+4
|
* Free objects by indirectly dropping fields via enclosed tydesc first.Graydon Hoare2010-12-311-2/+49
|
* Replace arg Load with load_non_structural in obj ctor.Graydon Hoare2010-12-311-1/+1
|
* Teach ty.unify about ty_obj.Graydon Hoare2010-12-311-0/+83
|
* Move unify_fn logic out-of-line.Graydon Hoare2010-12-311-59/+72
|
* Teach typeck.ast_ty_to_ty about ty_obj.Graydon Hoare2010-12-301-3/+13
|
* Teach fold about ty_obj.Graydon Hoare2010-12-301-0/+24
|
* Teach trans to access object fields.Graydon Hoare2010-12-301-14/+100
|
* Assign method types properly by sorted-order.Graydon Hoare2010-12-301-8/+12
|
* Teach typeck to check obj field accesses.Graydon Hoare2010-12-301-3/+41
|
* Teach resolve to find obj fields and ty params from methods.Graydon Hoare2010-12-301-0/+12
|
* 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-291-2/+5
|
* Modify translation of obj methods to accept an initial recursive-self-typed ↵Graydon Hoare2010-12-231-60/+133
| | | | (in the LLVM sense) obj argument.
* 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-213-909/+933
| | | | 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-201-0/+25
|
* 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-202-28/+32
| | | | police, and make obj/fn structural.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 00:42:57 +0000