| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-01-18 | Remove '.' after nullary tags in patterns | Tim Chevalier | -123/+123 | |
| Does what it says on the tin. The next commit will remove support for this syntax. | ||||
| 2012-01-18 | Allow any alternative (not just a block) to follow a nullary tag pattern | Tim Chevalier | -3/+1 | |
| 2012-01-18 | allow dotless nullary patterns inside or-patterns | Tim Chevalier | -1/+2 | |
| 2012-01-18 | Another minor parser fix for nullary-tag patterns | Tim Chevalier | -1/+1 | |
| 2012-01-18 | Allow nullary tag names to be qualified | Tim Chevalier | -3/+2 | |
| 2012-01-18 | rustc: Assert that the parser doesn't assign node id 0 | Brian Anderson | -0/+2 | |
| It is reserved for indicating the crate, but doesn't exist in the AST | ||||
| 2012-01-18 | rustc: Accept commas to separate tag variants | Patrick Walton | -3/+12 | |
| 2012-01-17 | Allow omission of the '.' after nullary tag patterns | Tim Chevalier | -6/+23 | |
| This commit allows patterns like: alt x { some(_) { ... } none { } } without the '.' after none. The parser suspends judgment about whether a bare ident is a tag or a new bound variable; instead, the resolver disambiguates. This means that any code after resolution that pattern-matches on patterns needs to call pat_util::normalize_pat, which consults an environment to do this disambiguation. In addition, local variables are no longer allowed to shadow tag names, so this required changing some code (e.g. renaming variables named "mut", and renaming ast::sub to subtract). The parser currently accepts patterns with and without the '.'. Once the compiler and libraries are changed, it will no longer accept the '.'. | ||||
| 2012-01-16 | Don't evaluate discriminator value constants when parsing. | Kevin Atkinson | -27/+2 | |
| Remove disr_val from ast::variant_ and always use ty::variant_info when the value is needed. Move what was done during parsing into other passes, primary typeck.rs. This move also correctly type checks the disr. value expression; thus, fixing rustc --pretty=typed when disr. values are used. | ||||
| 2012-01-15 | rustc: Parse fn inner attributes. Closes #1506 | Brian Anderson | -29/+96 | |
| 2012-01-15 | rustc: Extract comman parts of view parsing | Brian Anderson | -7/+13 | |
| 2012-01-13 | rustc: Rename the lexer's err message to fatal and make it fail | Brian Anderson | -17/+12 | |
| 2012-01-13 | rustc: Replace the lexer's error handling with diagnostic impl | Brian Anderson | -8/+18 | |
| 2012-01-13 | rustc: Replace parser's error handling with diagnostic impl | Brian Anderson | -9/+10 | |
| 2012-01-13 | rustc: Extract driver::diagnostic from syntax::codemap | Brian Anderson | -5/+7 | |
| 2012-01-13 | rustc: Refactor codemap::emit_* functions | Brian Anderson | -7/+6 | |
| A codemap is only needed when we have a span so put them both into the option. | ||||
| 2012-01-13 | distinguish "any closure" and "stack closure" (block) | Niko Matsakis | -10/+10 | |
| 2012-01-13 | make blocks fn& and fn stand for "any closure" | Niko Matsakis | -14/+17 | |
| 2012-01-13 | deprecate fn exprs and the fn() type, preferring fn@ and native fn | Niko Matsakis | -2/+13 | |
| 2012-01-13 | Obj system? What obj system? | Marijn Haverbeke | -77/+7 | |
| Removes the obj system from the compiler. Closes #1484 | ||||
| 2012-01-13 | Convert the objects used in the lexer and parser to records + impls | Marijn Haverbeke | -484/+435 | |
| 2012-01-12 | make parser disambiguate fn~ at top level correctly | Niko Matsakis | -1/+12 | |
| 2012-01-12 | Cleanups to previous commits for issue #1393. | Kevin Atkinson | -2/+2 | |
| 2012-01-11 | Major clean-up of std::io | Marijn Haverbeke | -0/+1 | |
| Use ifaces instead of objs, stop wrapping everything in two (or three) layers of no-value-added indirection, and remove some of the more pointless/outdated idioms from the code. | ||||
| 2012-01-10 | Fold and re-evaluate expr in tag discriminant. | Graydon Hoare | -1/+1 | |
| 2012-01-10 | Support explicit discriminant numbers on tag variants. | Kevin Atkinson | -2/+41 | |
| Addresses issue #1393. For now disallow disr. values unless all variants use nullary contractors (i.e. "enum-like"). Disr. values are now encoded in the crate metadata, but only when it will differ from the inferred value based on the order. | ||||
| 2012-01-10 | rustc: Accept "enum" in addition to "tag" | Patrick Walton | -2/+3 | |
| 2012-01-10 | replace lambda with fn@ | Niko Matsakis | -1/+5 | |
| 2012-01-10 | rename sendfn to fn~, lambda to fn@ | Niko Matsakis | -7/+10 | |
| 2012-01-09 | Remove support for 'when' in alt-patterns from parser | Austin Seipp | -5/+1 | |
| Issue #1396 | ||||
| 2012-01-09 | Change all uses of 'when' in alt-patterns to 'if' | Austin Seipp | -4/+4 | |
| Issue #1396 | ||||
| 2012-01-09 | Remove proto_sugar and 'lambda' as keyword, commit to fn@. | Graydon Hoare | -6/+6 | |
| 2012-01-09 | Make the parser accept 'if' as an alternative to 'when' in alt patterns. | Austin Seipp | -1/+5 | |
| Also fix the pretty printer, making it output 'if' instead of 'when'. Issue #1396 | ||||
| 2012-01-05 | require a non-semi expr acting as a stmt to have unit return type | Niko Matsakis | -13/+14 | |
| 2012-01-05 | make parser handle parenthesized block-sugar exprs properly | Niko Matsakis | -49/+80 | |
| 2012-01-05 | Switch to new param kind bound syntax | Marijn Haverbeke | -10/+8 | |
| And remove support for the old syntax | ||||
| 2012-01-05 | Fix bad spans for ast::ty parsing | Marijn Haverbeke | -9/+6 | |
| The span would be pointing after the actual text. | ||||
| 2012-01-03 | Allow tail expressions even in no_value blocks. Type checker | Niko Matsakis | -28/+16 | |
| will guarantee they have unit type. | ||||
| 2012-01-03 | extend parser so that expressions that do not require semi-colons | Niko Matsakis | -2/+2 | |
| to be statements are not considered expressions in the tail position | ||||
| 2012-01-03 | rewrite to put blk as 2nd arg | Niko Matsakis | -1/+1 | |
| 2012-01-03 | minimal changes to permit fn blocks in expr | Niko Matsakis | -68/+64 | |
| 2012-01-03 | Make syntax for impls less magical | Marijn Haverbeke | -23/+18 | |
| The trick of interpreting parameters to the iface type as parameters to the impl was just too magical. Issue #1227 | ||||
| 2011-12-29 | split proto from fn_decl, as not all fn_decls know the proto. | Niko Matsakis | -38/+21 | |
| this will address the (crashing) new test added. | ||||
| 2011-12-29 | Add support in lexer for utf8 identifiers. No NFKC logic in char yet. | Graydon Hoare | -2/+4 | |
| 2011-12-28 | Change representation of type params to handle interface bounds | Marijn Haverbeke | -5/+14 | |
| Issue #1227 | ||||
| 2011-12-23 | Check impls methods against the type of their iface. | Marijn Haverbeke | -8/+8 | |
| 2011-12-23 | Parse `iface` items and interface references in `impl` items. | Marijn Haverbeke | -56/+61 | |
| The (temporary) syntax is iface seq<T> { fn len() -> uint; fn iter(f: block(T)); } // The 'blah<T>' can be left of to default the name of the // impl to seq<T>. The 'of seq<T>' can be left off when // not implementing a named interface. impl blah<T> of seq<T> for [T] { fn len() -> uint { vec::len(self) } fn iter(f: block(T)) { for x in self { f(x); } } } | ||||
| 2011-12-23 | Make ast::ty_method hold a fn_decl, rather than duplicating its fields | Marijn Haverbeke | -8/+1 | |
| 2011-12-22 | Register new snapshots, purge log_err and log_full in favour of log(...). | Graydon Hoare | -9/+5 | |
| 2011-12-22 | Merge all 3 log syntaxes, tidy up residual misuses. | Graydon Hoare | -11/+6 | |
