| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 precomput... | Patrick Walton | 2011-04-20 | 1 | -1/+47 |
| * | 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 s... | Patrick Walton | 2011-04-19 | 1 | -2/+9 |
| * | 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 sub... | Patrick Walton | 2011-04-14 | 1 | -93/+222 |
| * | 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 |
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 1 | -1/+1 |
| * | Last pieces of self-call support. | Lindsey Kuper | 2011-04-05 | 1 | -0/+6 |
| * | 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 |
| * | 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 o... | Patrick Walton | 2011-03-31 | 1 | -3/+3 |
| * | rustc: Thread an item-to-type mapping throughout the typechecking and transla... | Patrick Walton | 2011-03-30 | 1 | -0/+55 |
| * | 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 build... | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| * | Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of... | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| * | 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 |
| * | Started adding support for floating-point type, floating-point literals, and ... | Tim Chevalier | 2011-03-21 | 1 | -0/+3 |
| * | Modify native_item_fn to handle trailing linkage names that differ from the i... | Graydon Hoare | 2011-03-20 | 1 | -1/+1 |
| * | rustc: Implement "mutable?". Add a test case and XFAIL it in rustboot for now. | Patrick Walton | 2011-03-18 | 1 | -23/+60 |
| * | rustc: Switch mutability from being a type constructor to a field annotation | Patrick Walton | 2011-03-17 | 1 | -58/+100 |
| * | rustc: Correctly report mutability when stringifying types | Patrick Walton | 2011-03-17 | 1 | -24/+24 |
| * | rustc: Consider native types to be scalar | Patrick Walton | 2011-03-17 | 1 | -0/+1 |
| * | rustc: Sort object methods when parsing textual types in the AST | Patrick Walton | 2011-03-17 | 1 | -0/+8 |
| * | Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. Tw... | Graydon Hoare | 2011-03-16 | 1 | -5/+4 |
| * | Merge remote branch 'brson/recursive-elseif' | Graydon Hoare | 2011-03-14 | 1 | -1/+1 |
| |\ |
|
| | * | Merge branch 'master' into recursive-elseif | Brian Anderson | 2011-03-13 | 1 | -83/+12 |
| | |\ |
|
| | * \ | Merge branch 'master' into recursive-elseif | Brian Anderson | 2011-03-07 | 1 | -190/+489 |
| | |\ \ |
|
| * | | | | Add ty_port and ty_chan to expr_ty function | Brian Anderson | 2011-03-14 | 1 | -11/+13 |
| * | | | | Add folding and type checking for ports and chans | Brian Anderson | 2011-03-14 | 1 | -0/+54 |
| | |_|/
|/| | |
|
| * | | | Implement deep structural comparison through boxes and sequences. | Graydon Hoare | 2011-03-09 | 1 | -0/+8 |
| * | | | Have the pretty-printer take a writer stream as argument | Marijn Haverbeke | 2011-03-09 | 1 | -80/+1 |
| * | | | rustc: Make ann_to_type() fail if the node has no type. Miraculously, no test... | Patrick Walton | 2011-03-08 | 1 | -2/+2 |