| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Re-enable typestate_check in build, was lost during merge. Sorry. | Graydon Hoare | 2011-04-01 | 1 | -1/+1 |
| | | |||||
| * | Comment out import for not-yet-compiling typestate_check. | Graydon Hoare | 2011-04-01 | 1 | -1/+1 |
| | | |||||
| * | Started adding support for typestate checking. | Tim Chevalier | 2011-04-01 | 1 | -2/+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. | ||||
| * | Preserve comments when pretty-printing. | Marijn Haverbeke | 2011-03-31 | 1 | -1/+1 |
| | | | | | | The patch also includes a number of smaller fixes to the pretty-printer that were encountered on the way. | ||||
| * | rustc: Thread an item-to-type mapping throughout the typechecking and ↵ | Patrick Walton | 2011-03-30 | 1 | -2/+7 |
| | | | | | translation phases | ||||
| * | Another go at changing compile-command, this time using RBUILD env var. | Graydon Hoare | 2011-03-25 | 2 | -2/+2 |
| | | |||||
| * | Sketch of wiring typeck up to creader. | Graydon Hoare | 2011-03-25 | 2 | -2/+9 |
| | | |||||
| * | Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵ | Graydon Hoare | 2011-03-25 | 2 | -2/+2 |
| | | | | | | | 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 | 2 | -2/+2 |
| | | | | | off src root. | ||||
| * | rustc: Store cached crate metadata in the session | Patrick Walton | 2011-03-25 | 1 | -0/+4 |
| | | |||||
| * | rustc: Create a crate metadata cache | Patrick Walton | 2011-03-25 | 2 | -2/+16 |
| | | |||||
| * | rustc: When encountering "mutable" as a tycon, parse it, drop it on the ↵ | Patrick Walton | 2011-03-18 | 1 | -0/+8 |
| | | | | | floor, and emit a warning | ||||
| * | rustc: Add a span_unimpl() for debugging | Patrick Walton | 2011-03-18 | 1 | -0/+9 |
| | | |||||
| * | Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. ↵ | Graydon Hoare | 2011-03-16 | 1 | -2/+2 |
| | | | | | Tweak std lib vec fns in process. | ||||
| * | rustc: Add an annotation for the crate definition to view_item_use | Patrick Walton | 2011-03-15 | 1 | -1/+1 |
| | | |||||
| * | rustc: Add a stub crate reader module for "use" directives | Patrick Walton | 2011-03-15 | 1 | -3/+18 |
| | | |||||
| * | rustc: Typo: "unput" -> "input" | Patrick Walton | 2011-03-15 | 1 | -1/+1 |
| | | |||||
| * | Extend stream functionality | Marijn Haverbeke | 2011-03-14 | 1 | -1/+1 |
| | | | | | | | Writer and reader streams now come with methods to write and read little-endian numbers. Whether that is the right place for such methods is debatable, but for now, that's where they live. | ||||
| * | Move the glue code to a .o file. This reduces how much asm we print | Graydon Hoare | 2011-03-10 | 1 | -0/+16 |
| | | | | | | | | | | in each "translation unit". Part of it is not repetitive and should probably be moved to a .ll file, but for now we autogen all of it. (Modified somewhat by graydon while integrating). | ||||
| * | Update the current id when we create sub parsers. | Rafael Ávila de Espíndola | 2011-03-10 | 1 | -2/+4 |
| | | |||||
| * | Have the pretty-printer take a writer stream as argument | Marijn Haverbeke | 2011-03-09 | 1 | -1/+1 |
| | | | | | | It now uses a string writer to also fill in for middle.ty.ast_ty_to_str | ||||
| * | Add a pretty-printer | Marijn Haverbeke | 2011-03-07 | 1 | -12/+27 |
| | | | | | | Adds a -pp option to the compiler which will cause it to simply pretty-print the given file. | ||||
| * | Remove typestate workarounds | Brian Anderson | 2011-03-06 | 1 | -2/+0 |
| | | |||||
| * | Flatten conditionals in rustc.rs. Remove FIXME | Brian Anderson | 2011-03-06 | 1 | -16/+11 |
| | | |||||
| * | Populate default compilation environment as in rustboot. | Graydon Hoare | 2011-03-01 | 1 | -4/+34 |
| | | |||||
| * | Fix typo in comment. | Graydon Hoare | 2011-03-01 | 1 | -1/+1 |
| | | |||||
| * | Change rustc warning to be a little less dismissive. | Graydon Hoare | 2011-01-26 | 1 | -2/+2 |
| | | |||||
| * | Split driver between parsing source files and crate files, by extension. Add ↵ | Graydon Hoare | 2011-01-03 | 1 | -1/+13 |
| | | | | | dummy function for crate files. | ||||
| * | Add a -shared option to rustc and don't try to look for main if it is given. | Rafael Ávila de Espíndola | 2010-12-29 | 1 | -4/+9 |
| | | |||||
| * | Check and translate 'as' cast-operator, lower target-specific types, ↵ | Graydon Hoare | 2010-11-22 | 2 | -79/+123 |
| | | | | | reindent rustc.rs, enable uint test. | ||||
| * | rustc: First stab at a typechecker | Patrick Walton | 2010-11-19 | 1 | -0/+2 |
| | | |||||
| * | Move the option type to its own module | Patrick Walton | 2010-11-05 | 1 | -5/+5 |
| | | |||||
| * | Revert "Move the option type to its own module" | Patrick Walton | 2010-11-05 | 1 | -5/+5 |
| | | |||||
| * | Move the option type to its own module | Patrick Walton | 2010-11-05 | 1 | -5/+5 |
| | | |||||
| * | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | 2010-11-02 | 1 | -2/+2 |
| | | |||||
| * | Give rustc the beginnings of an option-processing loop (at least -nowarn, -h ↵ | Graydon Hoare | 2010-10-22 | 1 | -9/+97 |
| | | | | | and -o). | ||||
| * | oops, removed bits.test() from main | Dave Herman | 2010-10-21 | 1 | -4/+0 |
| | | |||||
| * | tests and bugfixes: fns take aliases, fixed binary arithmetic in create, ↵ | Dave Herman | 2010-10-21 | 1 | -0/+4 |
| | | | | | eliminated wasted bit per uint | ||||
| * | More work on resolving names in rustc. Basic expr_name lookup working on ↵ | Graydon Hoare | 2010-10-18 | 1 | -1/+1 |
| | | | | | items and args. | ||||
| * | Rewrite session formatting to use #fmt extension. | Graydon Hoare | 2010-10-18 | 1 | -19/+7 |
| | | |||||
| * | Enable resolve pass in rustc. Doesn't do much yet aside from an incomplete ↵ | Graydon Hoare | 2010-10-14 | 1 | -0/+2 |
| | | | | | identity fold, but no longer crashes. | ||||
| * | Patchwork of attempted fixes to effect system and gc system; eventually give ↵ | Graydon Hoare | 2010-09-29 | 1 | -1/+1 |
| | | | | | up and disable it entirely in the runtime. Will need extensive reworking. | ||||
| * | Translate a bunch of the material (lltrans, llasm, abi) from rustboot to ↵ | Graydon Hoare | 2010-09-23 | 1 | -4/+3 |
| | | | | | rustc, and move files around. | ||||
| * | More fleshing-out on rustc.me.trans. Emitting modules and fns corresponding ↵ | Graydon Hoare | 2010-09-23 | 1 | -3/+10 |
| | | | | | to parsed input now. | ||||
| * | Flesh out rustc.me.trans to construct functions, basic blocks and builders ↵ | Graydon Hoare | 2010-09-22 | 1 | -1/+1 |
| | | | | | off the AST. | ||||
| * | Move llvm-using code in rustc to trans module. | Graydon Hoare | 2010-09-22 | 1 | -20/+2 |
| | | |||||
| * | Begin teaching rustc to parse literals, atoms, stmts, blocks, items, ↵ | Graydon Hoare | 2010-09-21 | 1 | -16/+6 |
| | | | | | modules, crates. | ||||
| * | Add session, span tracking, error reporting, beginning of a function to ↵ | Graydon Hoare | 2010-09-01 | 2 | -1/+39 |
| | | | | | parse an item to rustc. | ||||
| * | Expand rustc lexer to do almost-nearly-nontrivial stuff. | Graydon Hoare | 2010-08-20 | 1 | -1/+11 |
| | | |||||
| * | Simplify lexer/parser structure to use stdio_reader. | Graydon Hoare | 2010-08-18 | 1 | -5/+5 |
| | | |||||