| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | rustc: Thread the type store through everything that needs to access type ↵ | Patrick Walton | 2011-04-22 | 1 | -147/+151 | |
| | | | | | structures | |||||
| * | rustc: Remove direct access to the cname field of types | Patrick Walton | 2011-04-22 | 1 | -4/+7 | |
| | | ||||||
| * | rustc: Switch @ty.t to ty.t so that we can change it to a uint | Patrick Walton | 2011-04-22 | 1 | -172/+173 | |
| | | ||||||
| * | rustc: Eliminate the direct use of ty.t.struct | Patrick Walton | 2011-04-22 | 1 | -51/+57 | |
| | | ||||||
| * | rustc: Add a fast path when the types to be unified are exactly equal | Patrick Walton | 2011-04-22 | 1 | -0/+3 | |
| | | ||||||
| * | rustc: Add a fast path if there are no type substitutions to be made | Patrick Walton | 2011-04-22 | 1 | -2/+8 | |
| | | ||||||
| * | rustc: Improve the efficiency of lookup_item_type() slightly | Patrick Walton | 2011-04-22 | 1 | -7/+7 | |
| | | ||||||
| * | rustc: Intern types | Patrick Walton | 2011-04-21 | 1 | -327/+67 | |
| | | ||||||
| * | rustc: Add a shallow type equality function, not used yet | Patrick Walton | 2011-04-21 | 1 | -0/+321 | |
| | | ||||||
| * | rustc: Pass a type store around, which does nothing yet | Patrick Walton | 2011-04-21 | 1 | -98/+155 | |
| | | ||||||
| * | rustc: Create a unification context | Patrick Walton | 2011-04-21 | 1 | -99/+75 | |
| | | ||||||
| * | rustc: Move ty.unify to a separate namespace | Patrick Walton | 2011-04-21 | 1 | -33/+35 | |
| | | ||||||
| * | Change ty.eq_ty to avoid stringification. | Graydon Hoare | 2011-04-21 | 1 | -43/+304 | |
| | | ||||||
| * | rustc: Define type hashing inductively | Patrick Walton | 2011-04-20 | 1 | -12/+97 | |
| | | ||||||
| * | rustc: Precompute type hashes | Patrick Walton | 2011-04-20 | 1 | -39/+51 | |
| | | ||||||
| * | rustc: Remove all manual type construction outside ty.rs | Patrick Walton | 2011-04-20 | 1 | -15/+23 | |
| | | ||||||
| * | rustc: Remove all uses of plain_ty() and friends from outside of ty.rs | Patrick Walton | 2011-04-20 | 1 | -33/+31 | |
| | | ||||||
| * | rustc: Introduce preferred type constructors, which will eventually ↵ | Patrick Walton | 2011-04-20 | 1 | -1/+47 | |
| | | | | | precompute hashes and intern | |||||
| * | Small fast-path hack to ty.hash_ty and eq_ty. | Graydon Hoare | 2011-04-19 | 1 | -0/+45 | |
| | | ||||||
| * | rustc: Use marijnh's stringifier for type hash and equality, since it's not ↵ | Patrick Walton | 2011-04-19 | 1 | -2/+9 | |
| | | | | | sensitive to cnames | |||||
| * | rustc: Make structured comparison glue instead of emitting it inline | Patrick Walton | 2011-04-19 | 1 | -0/+7 | |
| | | ||||||
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -2/+2 | |
| | | ||||||
| * | replace error logging with log_err in stdlib and rustc | Marijn Haverbeke | 2011-04-19 | 1 | -7/+8 | |
| | | ||||||
| * | add log_err to rustc | Marijn Haverbeke | 2011-04-19 | 1 | -1/+1 | |
| | | ||||||
| * | rustc: Make fold_ty no longer use an object; introduce walk_ty | Patrick Walton | 2011-04-15 | 1 | -86/+136 | |
| | | ||||||
| * | rustc: Remove generalize_ty. Instead, maintain an explicit type parameter ↵ | Patrick Walton | 2011-04-14 | 1 | -93/+222 | |
| | | | | | substitution list. | |||||
| * | rustc: Use union-find for variable substitution | Patrick Walton | 2011-04-14 | 1 | -48/+103 | |
| | | ||||||
| * | rustc: Switch to indices for type parameters | Patrick Walton | 2011-04-12 | 1 | -96/+56 | |
| | | ||||||
| * | rustc: Factor out expr_ty() into expr_ann() and expr_ty() | Patrick Walton | 2011-04-11 | 1 | -38/+45 | |
| | | ||||||
| * | rustc: Push down types for all expressions; add logic for recv and send | Patrick Walton | 2011-04-08 | 1 | -0/+2 | |
| | | ||||||
| * | Support for self-calls that take arguments. | Lindsey Kuper | 2011-04-07 | 1 | -1/+1 | |
| | | | | | | | | Nicer parsing of self-calls (expr_self_method nodes inside expr_call nodes, rather than a separate expr_call_self) makes typechecking tractable. We can now write self-calls that take arguments and return values (see: test/run-pass/obj-self-*.rs). | |||||
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 1 | -1/+1 | |
| | | | | | | | | | | It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway. | |||||
| * | Last pieces of self-call support. | Lindsey Kuper | 2011-04-05 | 1 | -0/+6 | |
| | | | | | | | | | The last few pieces of the hack that lets us use trans.trans_call() to translate self-calls, plus a fix for the parser buy that was preventing self-call expressions from getting past parsing. test/run-pass/obj-self.rs works now (as in it actually prints "hi!" twice!). | |||||
| * | Make box prefix operator and box type carry mutability flag. | Graydon Hoare | 2011-04-04 | 1 | -2/+2 | |
| | | ||||||
| * | Started adding support for typestate checking. | Tim Chevalier | 2011-04-01 | 1 | -7/+7 | |
| | | | | | | | | | | | | | | | | I added a new field to the ast "ann" type for typestate information. Currently, the field contains a record of a precondition bit vector and postcondition vector, but I tried to structure things so as to make it easy to change the representation of the typestate annotation type. I also had to add annotations to some syntactic forms that didn't have them before (fail, ret, be...), with all the boilerplate changes that that would imply. The main call to the typestate_check entry point is commented out and the actual pre-postcondition algorithm only has a few cases implemented, though the overall AST traversal is there. The rest of the typestate algorithm isn't implemented yet. | |||||
| * | rustc: Add a type annotation to tag items | Patrick Walton | 2011-03-31 | 1 | -7/+2 | |
| | | ||||||
| * | rustc: Make tag_ty_params() and substitute_ty_params() take def ids instead ↵ | Patrick Walton | 2011-03-31 | 1 | -3/+3 | |
| | | | | | of ty_params, and to check in external crates | |||||
| * | rustc: Thread an item-to-type mapping throughout the typechecking and ↵ | Patrick Walton | 2011-03-30 | 1 | -0/+55 | |
| | | | | | translation phases | |||||
| * | Beginnings of support for magical self prefix; nothing profound happening yet. | Lindsey Kuper | 2011-03-29 | 1 | -0/+1 | |
| | | ||||||
| * | Add expr_spawn, spawn parsing, folding, typechecking, ty_task | Brian Anderson | 2011-03-28 | 1 | -0/+3 | |
| | | ||||||
| * | Another go at changing compile-command, this time using RBUILD env var. | Graydon Hoare | 2011-03-25 | 1 | -1/+1 | |
| | | ||||||
| * | Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵ | Graydon Hoare | 2011-03-25 | 1 | -1/+1 | |
| | | | | | | | build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c. | |||||
| * | Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵ | Graydon Hoare | 2011-03-25 | 1 | -1/+1 | |
| | | | | | off src root. | |||||
| * | rustc: Create a crate metadata cache | Patrick Walton | 2011-03-25 | 1 | -5/+1 | |
| | | ||||||
| * | Support for shorter error messages that are aware of objects' cnames. | Lindsey Kuper | 2011-03-22 | 1 | -6/+20 | |
| | | ||||||
| * | Add codegen for ports and chans | Brian Anderson | 2011-03-22 | 1 | -0/+6 | |
| | | ||||||
| * | Make floating-point operations work (neg, add, sub, mul, div, rem, | Tim Chevalier | 2011-03-21 | 1 | -0/+5 | |
| | | | | | and comparison ops.) | |||||
| * | Started adding support for floating-point type, floating-point literals, and ↵ | Tim Chevalier | 2011-03-21 | 1 | -0/+3 | |
| | | | | | logging of floats. Other operations on float probably don't work yet. | |||||
| * | Modify native_item_fn to handle trailing linkage names that differ from the ↵ | Graydon Hoare | 2011-03-20 | 1 | -1/+1 | |
| | | | | | item name (used in win32 build of std.dll) | |||||
| * | rustc: Implement "mutable?". Add a test case and XFAIL it in rustboot for now. | Patrick Walton | 2011-03-18 | 1 | -23/+60 | |
| | | ||||||