| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-07-26 | Comments Only: Remove outdated FIXMEs. Fixes #2886. | Eric Holk | -2/+0 | |
| 2012-07-26 | Allow old-style syntax extensions to be called with new syntax. | Paul Stansifer | -0/+61 | |
| 2012-07-25 | Polymorphic protocols work well enough to do MapReduce. | Eric Holk | -6/+8 | |
| I did some horrible things with type variable naming here. It should do the right thing in most cases, but we'll need to go through and make it correct someday. | ||||
| 2012-07-25 | Bounded protocols work well enough to compile core, but map reduce has too ↵ | Eric Holk | -15/+37 | |
| many type parameters, so we have to get fancier. | ||||
| 2012-07-25 | Thread spans through the pipe compiler. They aren't perfect, but they make ↵ | Eric Holk | -70/+90 | |
| debugging far easier than core.rc:0:0. Changed the is_bounded check, so we fail compiling core right now due to not supporting type parameters. | ||||
| 2012-07-25 | Compiled a bounded version of pingpong. | Eric Holk | -43/+232 | |
| There are some failures in the other pipe tests, but these seem to just be a matter of generalizing the library code. Updating pipes library so all tests pass again | ||||
| 2012-07-25 | Generate buffer type for bounded protocols | Eric Holk | -0/+31 | |
| 2012-07-25 | Refactor the bounded pingpong example to avoid needing to generate unsafe code. | Eric Holk | -19/+30 | |
| Took some steps towards bounded codegen. | ||||
| 2012-07-25 | Refactoring pipes to allow implementing bounded protocols. | Eric Holk | -2/+5 | |
| 2012-07-24 | Bugfix: enable transcription to deal with zero-repetition cases. | Paul Stansifer | -9/+8 | |
| 2012-07-24 | Improve an error message a little. | Paul Stansifer | -3/+5 | |
| 2012-07-24 | Bugfix: make the parser handle the case where zero repetitions occur, by ↵ | Paul Stansifer | -12/+30 | |
| handling parse results on the basis of what names the matcher expects to bind, not on what names are actually bound. | ||||
| 2012-07-18 | syntax: Parse multiple trait refs in a single implementation | Patrick Walton | -0/+1 | |
| 2012-07-17 | Added liveness analysis for protocols, and removed warnings about empty states. | Eric Holk | -0/+114 | |
| 2012-07-17 | Don't ICE when protocol steps to invalid mesasge. | Eric Holk | -21/+22 | |
| 2012-07-17 | rustc: Fix coherence errors in the build | Patrick Walton | -27/+26 | |
| 2012-07-17 | rustc: Implement and enforce instance coherence | Patrick Walton | -13/+115 | |
| 2012-07-17 | Error checking for protocols. We'll need spans though. | Eric Holk | -141/+249 | |
| 2012-07-16 | Add support for terminal states (issue #2862) | Eric Holk | -44/+111 | |
| 2012-07-14 | remove typestate from code, tests, and docs | Niko Matsakis | -18/+4 | |
| 2012-07-14 | Get rid of ast::ty_vstore, which was only used for fixed length. | Michael Sullivan | -15/+4 | |
| 2012-07-14 | Move the world over to using the new style string literals and types. Closes ↵ | Michael Sullivan | -315/+316 | |
| #2907. | ||||
| 2012-07-13 | Change (hopefully) all of the code that generates strs asts to produce ~strs. | Michael Sullivan | -30/+37 | |
| 2012-07-13 | Support prefix notation for vstore strings. Closes #2906. | Michael Sullivan | -51/+56 | |
| 2012-07-12 | Obliterate the callee_id hack | Tim Chevalier | -7/+10 | |
| Exprs that could be applications of overloaded operators (expr_unary, expr_binary, expr_index) relied on the previous node ID being "reserved" to carry extra typechecking info. This was incredibly error-prone. Fixed it; now all exprs have two node IDs (which will be wasted in some cases; future work could make this an option instead if the extra int field ends up being a performance problem). Closes #2804 | ||||
| 2012-07-12 | Switch map-reduce control protocol to use pipes. This exposed a bug in the ↵ | Eric Holk | -25/+2 | |
| pipe compiler, which is now fixed. Use hashmaps in MapReduce Tweak word-count difficulty | ||||
| 2012-07-12 | Comments only: TODOs to FIXMEs; annotate | Tim Chevalier | -7/+10 | |
| 2012-07-12 | Accept prefix notation for writing the types of str/~ and friends. | Michael Sullivan | -5/+26 | |
| 2012-07-12 | Get rid of all of the remaining /~s in the code base. | Michael Sullivan | -10/+10 | |
| 2012-07-12 | Merge branch 'rt-changes' into incoming | Michael Sullivan | -2/+10 | |
| 2012-07-12 | Handle autoserializing of str/~. | Michael Sullivan | -2/+10 | |
| 2012-07-11 | infer when types are region parameterized rather than requiring /& | Niko Matsakis | -8/+5 | |
| - removes various fields from various variants in the AST - also update tests not to use this notation | ||||
| 2012-07-09 | 'cont' -> 'again' in straggler code | Paul Stansifer | -1/+1 | |
| 2012-07-09 | Allow defining token tree macros. They should work now! | Paul Stansifer | -64/+167 | |
| 2012-07-09 | Add support for matchers nonterminals. | Paul Stansifer | -1/+7 | |
| 2012-07-09 | Enable item macros to define macros. | Paul Stansifer | -6/+17 | |
| 2012-07-09 | Allow folds to drop items. | Paul Stansifer | -10/+18 | |
| 2012-07-09 | rustc: Switch over to resolve3 | Patrick Walton | -2/+2 | |
| 2012-07-09 | Revert "rustc: Switch over to resolve3" due to Linux failures | Patrick Walton | -2/+2 | |
| This reverts commit 2c0aa257e293dde91042a8045100d9923d139a04. | ||||
| 2012-07-09 | rustc: Switch over to resolve3 | Patrick Walton | -2/+2 | |
| 2012-07-09 | Switch 'cont' to 'again' everywhere. Close #2229. | Graydon Hoare | -1/+1 | |
| 2012-07-06 | Updating tests to use pipes. | Eric Holk | -22/+36 | |
| 2012-07-06 | Fixing an infinite type, updating code to match new Early parser, ↵ | Eric Holk | -2/+67 | |
| remembering to add protocol parser. | ||||
| 2012-07-06 | pingpong protocol parses, although I should probably rewrite this to use ↵ | Eric Holk | -14/+29 | |
| Paul's Early parser stuff. | ||||
| 2012-07-06 | Recursively expand items, and keep expansion stack, per Paul's code review ↵ | Eric Holk | -3/+10 | |
| comments. | ||||
| 2012-07-06 | Adding token tree nonterminals to earley parser. | Eric Holk | -2/+1 | |
| 2012-07-06 | You can have any protocol you want, provided it's pingpong. | Eric Holk | -2/+583 | |
| This integrates the pipe compiler into the proto syntax extension. | ||||
| 2012-07-06 | Plumbing and parsing for item-position macros. | Eric Holk | -5/+60 | |
| 2012-07-05 | Allow soft failure of the macro parser. | Paul Stansifer | -11/+18 | |
| 2012-07-05 | Add new syntax for interpolation and repetition, and allow the transcription ↵ | Paul Stansifer | -8/+20 | |
| of separators. | ||||
