about summary refs log tree commit diff
path: root/src/libsyntax
AgeCommit message (Collapse)AuthorLines
2012-07-26Allow old-style syntax extensions to be called with new syntax.Paul Stansifer-0/+61
2012-07-26Make parsing about 0.3 seconds faster.Eric Holk-13/+14
2012-07-25Add #[inline(never)], and also fixed inlining on vec::pushEric Holk-1/+5
2012-07-25Polymorphic 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-25Bounded 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-25Thread 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-25Compiled a bounded version of pingpong.Eric Holk-43/+244
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-25Generate buffer type for bounded protocolsEric Holk-0/+31
2012-07-25Refactor the bounded pingpong example to avoid needing to generate unsafe code.Eric Holk-19/+30
Took some steps towards bounded codegen.
2012-07-25Refactoring pipes to allow implementing bounded protocols.Eric Holk-2/+5
2012-07-24rustc: Parse new-style impl declarationsPatrick Walton-34/+69
2012-07-24rustc: Don't require that structs have constructorsPatrick Walton-28/+48
2012-07-24Bugfix: enable transcription to deal with zero-repetition cases.Paul Stansifer-9/+8
2012-07-24Improve an error message a little.Paul Stansifer-3/+5
2012-07-24Bugfix: make the parser handle the case where zero repetitions occur, by ↵Paul Stansifer-15/+35
handling parse results on the basis of what names the matcher expects to bind, not on what names are actually bound.
2012-07-23syntax: Expect the closing brace after struct literalsPatrick Walton-0/+1
2012-07-23rustc: Max/min classes: Add struct literal syntaxPatrick Walton-39/+84
2012-07-23syntax: Remove reference to typestate in a commentPatrick Walton-1/+1
2012-07-19Revert "accept naked exprs with commas in pattern arms" due to ↵Patrick Walton-42/+6
pretty-printing failures This reverts commit f712b2d76b1077a2241916cc3269aa1d83ce3088. In alt arms, the parser needs to do a little lookahead to determine whether it's looking at a record literal or a block. Also there are some indentation issues in the expected source.
2012-07-18accept naked exprs with commas in pattern armsNiko Matsakis-6/+42
pretty printing will use them, but indentation is slightly off if the expr is long
2012-07-18Remove non-existent importsTim Chevalier-3/+3
2012-07-18syntax: Parse multiple trait refs in a single implementationPatrick Walton-18/+34
2012-07-18prevent regions from escaping in ifaces; remove &r.T syntaxNiko Matsakis-3/+2
2012-07-17Added liveness analysis for protocols, and removed warnings about empty states.Eric Holk-0/+115
2012-07-17Don't ICE when protocol steps to invalid mesasge.Eric Holk-21/+22
2012-07-17rustc: Fix coherence errors in the buildPatrick Walton-27/+26
2012-07-17rustc: Implement and enforce instance coherencePatrick Walton-40/+213
2012-07-17Support attributes on class ctors and dtorsTim Chevalier-47/+68
Closes #2660
2012-07-17Error checking for protocols. We'll need spans though.Eric Holk-141/+251
2012-07-16introduce an owned kind for data that contains no borrowed ptrsNiko Matsakis-9/+16
2012-07-16Add support for terminal states (issue #2862)Eric Holk-44/+111
2012-07-14remove typestate from code, tests, and docsNiko Matsakis-423/+29
2012-07-14Get rid of ast::ty_vstore, which was only used for fixed length.Michael Sullivan-39/+21
2012-07-14Make the new world order normative. Closes #2908.Michael Sullivan-9/+0
2012-07-14Move the world over to using the new style string literals and types. Closes ↵Michael Sullivan-1077/+1083
#2907.
2012-07-13Handle prefix notations for strings in patterns. This is kind of gross.Michael Sullivan-2/+21
2012-07-13Change (hopefully) all of the code that generates strs asts to produce ~strs.Michael Sullivan-30/+37
2012-07-13Change the pretty printer to print vstores for strs in prefix notation.Michael Sullivan-16/+10
2012-07-13Support prefix notation for vstore strings. Closes #2906.Michael Sullivan-70/+82
2012-07-13Clean up various bugs with trait parsing.Lindsey Kuper-18/+23
2012-07-13More consistent use of backticks and "expected" in error messages.Lindsey Kuper-23/+27
Got some of the debug messages, here, too. I figure it doesn't hurt to get used to doing this even in places where users won't ever see it.
2012-07-13Refactor how impl self types are storedTim Chevalier-8/+20
In order to avoid a confusing use of the tcache, I added an extra node ID field to trait refs. Now trait refs have a "ref ID" (the one that resolve3 resolves) and an "impl ID" (the one that you look up in the tcache to get the self type). Closes #2434
2012-07-13Front-end support for default impls in traits.Lindsey Kuper-16/+88
2012-07-13change region syntax to &r/T in place of &r.TNiko Matsakis-7/+12
2012-07-12Obliterate the callee_id hackTim Chevalier-23/+21
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-12Switch 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-12Pretty-print regions in slices correctlyTim Chevalier-2/+11
2012-07-12Comments only: TODOs to FIXMEs; annotateTim Chevalier-8/+11
2012-07-12Fix region printing in the prettyprinterTim Chevalier-2/+2
2012-07-12Merge remote-tracking branch 'origin/dist-snap' into incomingGraydon Hoare-3/+3