about summary refs log tree commit diff
path: root/src/comp/middle/check_alt.rs
AgeCommit message (Collapse)AuthorLines
2011-12-15rustc: Box the vectors returned from ty::tag_variantsBrian Anderson-1/+1
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-3/+3
2011-12-08Allow binding of nested patternsMarijn Haverbeke-26/+29
See src/test/run-pass/nested-patterns.rs for some examples. The syntax is boundvar@subpattern Which will match the subpattern as usual, but also bind boundvar to the whole matched value. Closes #838
2011-12-02Allow literal patterns to contain arbitrary literal expressionsMarijn Haverbeke-5/+7
This removes the need for the unary minus hacks, and allows some other neat things like matching on 1 >> 4. Issue #954
2011-11-22Only warn about unreachable range patterns when appropriateMarijn Haverbeke-10/+5
Also simplifies the literal-munging, and moves it into ast_util Closes #1170
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-10-07Parse and typecheck by-value and by-ref arg specsMarijn Haverbeke-2/+2
Add sprinkle && throughout the compiler to make it typecheck again. Issue #1008
2011-09-28Revert "Revert "Implement pattern ranges for all numeric types.""Brian Anderson-1/+17
This reverts commit a034f87146e60e1db2327c6f6807c47406a1bb0b. Conflicts: src/comp/middle/check_alt.rs src/comp/middle/trans_alt.rs src/comp/syntax/ast.rs src/comp/syntax/ast_util.rs src/comp/syntax/fold.rs src/comp/syntax/print/pprust.rs Conflicts: src/comp/middle/trans_alt.rs
2011-09-23Add let destructuring for unique boxesBrian Anderson-0/+1
Issue #409
2011-09-23Begin to support pattern matching on unique boxesBrian Anderson-0/+6
Issue #409
2011-09-21Revert "Implement pattern ranges for all numeric types."Marijn Haverbeke-17/+1
This reverts commit ce0f054f9d56df4e60291fc2e1b89ce979cf374f.
2011-09-21Implement pattern ranges for all numeric types.Josh Matthews-1/+17
2011-09-12Factor imports mindlessly.Graydon Hoare-2/+1
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-9/+9
Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit.
2011-09-02Reformat. Issue #855Brian Anderson-2/+2
2011-08-27Convert rustc::driver::session to istrs. Issue #855Brian Anderson-2/+2
2011-08-22Move functions from syntax::ast to syntax::ast_utilBrian Anderson-0/+2
This leaves syntax::ast just defining the AST, which strikes me as somewhat nicer
2011-08-22Implement pattern guardsMarijn Haverbeke-3/+5
The syntax is alt x { mypat where mycond { ... } } The condition may refer to any of the variables bound by the pattern. When a guard fails, pattern-matching continues with the next pattern. Closes #857
2011-08-20ReformatBrian Anderson-14/+7
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-16Port the compiler to the expr foo::<T> syntax.Erick Tryzelaar-1/+1
2011-08-16Port the compiler to the typaram foo<T> syntax.Erick Tryzelaar-2/+2
2011-08-16Rename std::ivec to std::vecBrian Anderson-1/+1
2011-08-15The wonky for...in... whitespace was bothering me. Sorry!Lindsey Kuper-6/+6
2011-08-15Use span stacks to track macro expansion for less troublesome error messages.Paul Stansifer-1/+1
2011-08-15Make spans into stacks (to store expansion backtraces).Paul Stansifer-1/+1
2011-08-15Add tuple patternsMarijn Haverbeke-0/+12
2011-08-09Port the compiler to the ivec type [T] syntax.Erick Tryzelaar-4/+4
2011-08-01Add check for irrefutable patterns in destructuring localsMarijn Haverbeke-2/+35
2011-07-27Reformat for new syntaxMarijn Haverbeke-35/+35
2011-07-25Add a pass that checks for unreachable alt armsMarijn Haverbeke-0/+102