| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | rustc: lowercase the link and link::write modules | Brian Anderson | 2011-05-13 | 1 | -1/+1 |
| | | |||||
| * | Slight adjustments to shape, rename to type_glue.rs. | Graydon Hoare | 2011-05-13 | 1 | -1/+1 |
| | | |||||
| * | Make the parser more careful about keywords | Marijn Haverbeke | 2011-05-13 | 1 | -1/+1 |
| | | | | | | | Keywords are now only recognized in contexts where they are valid. The lexer no longer recognizes them, all words are lexed as IDENT tokens, that get interpreted by the parser. | ||||
| * | Move capture checking into resolve.rs | Marijn Haverbeke | 2011-05-13 | 1 | -1/+0 |
| | | | | | | Drops capture.rs. The new algorithm also checks for captures function arguments and obj fields. | ||||
| * | rustc: Beginnings of a "shape" module to convert types to shapes | Patrick Walton | 2011-05-12 | 1 | -0/+1 |
| | | |||||
| * | Downcase std modules again, move to :: for module dereferencing | Marijn Haverbeke | 2011-05-12 | 1 | -5/+5 |
| | | | | | This should be a snapshot transition. | ||||
| * | Add meta info to rustc.rc | Brian Anderson | 2011-05-10 | 1 | -0/+6 |
| | | |||||
| * | rustc: Declare upcalls with real signatures; preparation for killing ↵ | Patrick Walton | 2011-05-09 | 1 | -0/+1 |
| | | | | | rust_native_rust_* stubs | ||||
| * | rustc: Add a Link module; move crate writing to it to slim down trans slightly | Patrick Walton | 2011-05-05 | 1 | -0/+1 |
| | | |||||
| * | Add #env syntax extension for plucking strings out of the compilation ↵ | Graydon Hoare | 2011-05-04 | 1 | -0/+1 |
| | | | | | environment. | ||||
| * | Change collect_upvars from using fold to using walk | Marijn Haverbeke | 2011-04-20 | 1 | -0/+1 |
| | | |||||
| * | rustc: Cache the results of type_of() | Patrick Walton | 2011-04-19 | 1 | -16/+16 |
| | | |||||
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -26/+0 |
| | | |||||
| * | Implement the "attempted dynamic environment-capture" error in rustc. | Rafael Ávila de Espíndola | 2011-04-11 | 1 | -0/+1 |
| | | |||||
| * | Move to single-uint file-position representation. | Marijn Haverbeke | 2011-04-09 | 1 | -0/+1 |
| | | | | | | | | | This makes passing them around cheaper. There is now a table (see front/codemap.rs) that is needed to transform such an uint into an actual filename/line/col location. Also cleans up the span building in the parser a bit. | ||||
| * | Implemented computing prestates and poststates for a few expression forms. | Tim Chevalier | 2011-04-08 | 1 | -0/+4 |
| | | | | | | The typestate checker (if it's uncommented) now correctly rejects a trivial example program that has an uninitialized variable. | ||||
| * | Revise EBML reader API | Marijn Haverbeke | 2011-04-07 | 1 | -0/+2 |
| | | | | | New one is less stateful, easier to work with. | ||||
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 1 | -1/+5 |
| | | | | | | | | | | 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. | ||||
| * | More work on typestate. Sketched out code for computing and checking ↵ | Tim Chevalier | 2011-04-06 | 1 | -0/+2 |
| | | | | | prestates and poststates. Still a long ways away. | ||||
| * | Re-enable typestate_check in build, was lost during merge. Sorry. | Graydon Hoare | 2011-04-01 | 1 | -0/+1 |
| | | |||||
| * | rustc: Get tag variants from the crate metadata | Patrick Walton | 2011-04-01 | 1 | -0/+1 |
| | | |||||
| * | Started adding support for typestate checking. | Tim Chevalier | 2011-04-01 | 1 | -0/+3 |
| | | | | | | | | | | | | | | | | 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: Write out an index of definition info in crate metadata | Patrick Walton | 2011-03-31 | 1 | -0/+2 |
| | | |||||
| * | Tweak build command on rustc. | Graydon Hoare | 2011-03-31 | 1 | -1/+1 |
| | | |||||
| * | Teach trans to emit undefined references to 'use'd symbols. Can compile and ↵ | Graydon Hoare | 2011-03-29 | 1 | -0/+1 |
| | | | | | run a simple 'use std;' example now. | ||||
| * | Move all allocas to dedicated basic block at top of function, to keep frames ↵ | Graydon Hoare | 2011-03-28 | 1 | -0/+2 |
| | | | | | finite. Un-comment next size in nbody.rs. | ||||
| * | rustc: Parse types in external metadata | Patrick Walton | 2011-03-28 | 1 | -0/+2 |
| | | |||||
| * | rustc: Look up names in "use"d crates | Patrick Walton | 2011-03-25 | 1 | -0/+1 |
| | | |||||
| * | rustc: Open "use"d crates; add a _vec.vec_from_buf() method along the way; ↵ | Patrick Walton | 2011-03-24 | 1 | -0/+1 |
| | | | | | XFAIL use-import-export.rs in rustc | ||||
| * | rustc: Switch over to using rustllvm.dll exclusively, ending the ↵ | Patrick Walton | 2011-03-23 | 1 | -12/+6 |
| | | | | | "Franken-LLVM" problem | ||||
| * | Revert 6fdb81fa17b3c7147a69edc5217c9f93ff485410, it is causing failures in | Rafael Ávila de Espíndola | 2011-03-16 | 1 | -1/+0 |
| | | | | | the bots. | ||||
| * | rustc: Open "use"d crates with the LLVM object file reader | Patrick Walton | 2011-03-15 | 1 | -0/+1 |
| | | |||||
| * | rustc: Add a stub crate reader module for "use" directives | Patrick Walton | 2011-03-15 | 1 | -0/+1 |
| | | |||||
| * | Append 'svn' to version in dll name, hopefully to bring win32 up again. | Graydon Hoare | 2011-03-15 | 1 | -1/+1 |
| | | |||||
| * | rustc: Add Rust bindings to the LLVM object file library | Patrick Walton | 2011-03-15 | 1 | -3/+9 |
| | | |||||
| * | Bump LLVM version strings to 3.0svn, we're effectively tied to it now anyways. | Graydon Hoare | 2011-03-14 | 1 | -3/+3 |
| | | |||||
| * | rustc: Add some stub metadata to each crate | Patrick Walton | 2011-03-11 | 1 | -0/+2 |
| | | |||||
| * | Have the pretty-printer take a writer stream as argument | Marijn Haverbeke | 2011-03-09 | 1 | -0/+1 |
| | | | | | | It now uses a string writer to also fill in for middle.ty.ast_ty_to_str | ||||
| * | Remove old pretty-printer from rustc | Brian Anderson | 2011-03-07 | 1 | -1/+0 |
| | | |||||
| * | Add a pretty-printer | Marijn Haverbeke | 2011-03-07 | 1 | -0/+5 |
| | | | | | | Adds a -pp option to the compiler which will cause it to simply pretty-print the given file. | ||||
| * | Begin an AST pretty-printer | Brian Anderson | 2011-03-02 | 1 | -0/+1 |
| | | |||||
| * | Begin implementing #fmt in rustc | Brian Anderson | 2011-03-02 | 1 | -0/+1 |
| | | |||||
| * | Factor crate expr evaluator out of parser, expand to simple scalars and ops, ↵ | Graydon Hoare | 2011-02-24 | 1 | -1/+1 |
| | | | | | if, alt. | ||||
| * | Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵ | Graydon Hoare | 2011-01-21 | 1 | -0/+2 |
| | | | | | in trans.rs | ||||
| * | rustc: Move type logic out of typeck so trans doesn't look like it's calling ↵ | Patrick Walton | 2010-12-21 | 1 | -0/+1 |
| | | | | | into typeck | ||||
| * | rustc: First stab at a typechecker | Patrick Walton | 2010-11-19 | 1 | -0/+1 |
| | | |||||
| * | Switch rustc to llvm 2.8 rather than 2.8svn on windows. | Graydon Hoare | 2010-11-05 | 1 | -1/+1 |
| | | |||||
| * | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | 2010-11-02 | 1 | -1/+1 |
| | | |||||
| * | line length police; moved comp.util.bits to std.bitv | Dave Herman | 2010-10-21 | 1 | -1/+0 |
| | | |||||
| * | created a first draft of the bit-set library needed for typestate | Dave Herman | 2010-10-20 | 1 | -0/+1 |
| | | |||||