aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe
Commit message (Collapse)AuthorAgeFilesLines
* Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵Graydon Hoare2010-09-154-10/+37
| | | | later stages. Fixes to pexp pretty printer.
* Add pretty-printing for pexps.Graydon Hoare2010-09-151-0/+145
|
* Add some form-judgements on plvals and pexps.Graydon Hoare2010-09-151-10/+86
|
* Commence moving pexp into ast, for eventual merger with expr.Graydon Hoare2010-09-143-154/+158
|
* Teach front-end about simple, first-cut version of const items.Graydon Hoare2010-09-144-0/+34
|
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵Graydon Hoare2010-09-094-229/+145
| | | | work, possibly a little bumpy. Changes a lot.
* First lame stab at solving the diamond import problemPatrick Walton2010-09-083-5/+22
|
* Initial support for a global crate metadata cachePatrick Walton2010-09-072-5/+3
|
* Make error reporting slightly more regular.Graydon Hoare2010-08-241-2/+3
|
* Merge remote branch 'tohava/master'Graydon Hoare2010-08-232-69/+116
|\ | | | | | | | | Conflicts: src/boot/fe/ast.ml
| * Modified parser to handle alt type andadded a few testsOr Brostovski2010-08-212-65/+116
| | | | | | | | | | | | | | | | | | | | | | | | ast.ml - modified arm types for easier polymorphism - fixed a bug in fmt_type_arm dead.ml - modified arm types for easier polymorphism common.ml - added 'either' - added some useful auxiliary functions item.ml - modified arm code to be more polymorphic and handle both alt-tag and alt-type, also fixed the problematic case in bad-alt.rs Makefile - added XFAIL for new alt-type test bad-alt.rs - added test for invalid alt syntax alt-type-simple.rs - added simple test for alt type
| * Merge branch 'master' of git://github.com/graydon/rustOr Brostovski2010-08-072-26/+29
| |\ | | | | | | | | | | | | Conflicts: src/boot/fe/ast.ml
* | | Warn when the value of "spawn" is unused, as it's uselessPatrick Walton2010-08-201-1/+5
| | |
* | | Add support for a reserved-words list and reserve the various ↵Graydon Hoare2010-08-171-15/+72
| | | | | | | | | | | | not-supported-but-plausible IEEE datatypes.
* | | Absent any deep overhauls to syntax or constant-handling, hack in the ↵Graydon Hoare2010-08-163-19/+43
| | | | | | | | | | | | ability to project a cexp var binding to a token in the parser. Use it in comp/rustc.rc and comp/lib/llvm.rs.
* | | Kill old parser support for type-parametric modules. We don't support those.Graydon Hoare2010-08-121-2/+2
| | |
* | | Merge commit 'tohava/master'Graydon Hoare2010-08-101-20/+56
|\| | | | | | | | | | | | | | Conflicts: src/boot/fe/ast.ml
| * | Added AST pretty printing for communication alt statement, closes issue 19.Or Brostovski2010-08-071-4/+38
| | |
| * | Added forgotten handling for alt_type_else, and also for stmt_noteTohava2010-08-061-10/+26
| | |
| * | Added AST pretty printing for slice expressionTohava2010-08-061-1/+28
| | |
| * | Merge branch 'master' of git://github.com/graydon/rustTohava2010-08-051-36/+86
| |\ \
| * | | Added AST logging, and modified AST for consistent handling of alt stmts.Tohava2010-08-051-18/+57
| | | | | | | | | | | | | | | | | | | | | | | | | | | | - Modified the arm types, instead of a single arm type, there are now 2 (soon to be 3) arm types, one for each type of alt statement - Added AST logging for constrained type (see fmt_constrained) - Added AST logging for STMT_alt_type - Created a generic fmt_arm for use with all alt statements
* | | | Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin2010-08-092-7/+27
| |_|/ |/| | | | | | | | | | | after the "spawn" keyword, or implicitly the call expression used to start the spawn.
* | | Added forgotten handling for alt_type_else, and also for stmt_noteOr Brostovski2010-08-061-10/+26
| | |
* | | Added AST pretty printing for slice expressionOr Brostovski2010-08-061-1/+28
| | |
* | | Added AST logging, and modified AST for consistent handling of alt stmts.Or Brostovski2010-08-061-18/+57
| | | | | | | | | | | | | | | | | | | | | - Modified the arm types, instead of a single arm type, there are now 2 (soon to be 3) arm types, one for each type of alt statement - Added AST logging for constrained type (see fmt_constrained) - Added AST logging for STMT_alt_type - Created a generic fmt_arm for use with all alt statements
* | | Accept uint literals as literal patterns.Roy Frostig2010-08-061-1/+4
| | |
* | | Move 'as' precedence up to just above relational; support indexing str and ↵Graydon Hoare2010-08-051-25/+25
| |/ |/| | | | | vec by all integral types. Closes #94.
* | Fix pexp parser to do left-associativity, not right. Closes #130.Graydon Hoare2010-08-041-36/+86
|/
* Fix some naughtiness of handling newlines in bracequotes and multi-line ↵Graydon Hoare2010-08-031-7/+13
| | | | comments. Closes #142.
* Add tests and fix pexp bug. Closes #141.Graydon Hoare2010-08-031-1/+1
|
* Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as ↵Graydon Hoare2010-07-275-123/+68
| | | | a cast notation. Closes #129.
* Add pretty-printing for alt-tag statements.Graydon Hoare2010-07-231-1/+32
|
* Rename STMT_init_* to STMT_new_*; former name was confusing.Graydon Hoare2010-07-232-24/+24
|
* Re-classify some err / bug cases as unimpl. Ideally rustboot should never ↵Graydon Hoare2010-07-221-1/+1
| | | | produce a backtrace.
* Source FIXME annotations for issue #81 and a correction to STMT_bind fmt.Roy Frostig2010-07-221-1/+1
|
* Tidy up handling of unimplemented features. These are expected (if ↵Graydon Hoare2010-07-202-8/+13
| | | | undesirable) sorts of error, we should handle better than "backtrace and exit 2".
* Include the statements on the LHS of a binop when desugaring. Closes #117.Patrick Walton2010-07-191-56/+57
|
* Fix opeq.rs for LLVM by implementing simple augmented-assignment operators.Jeffrey Yasskin2010-07-201-0/+1
|
* Make the LLVM compiler crash when it hits a source construct it doesn't knowJeffrey Yasskin2010-07-201-0/+2
| | | | what to do with, rather than silently omitting it from the output.
* Merge branch 'contrib'Graydon Hoare2010-07-151-87/+88
|\
| * use,import,export parse fixesAdam Bozanich2010-07-161-73/+87
| | | | | | | | | | * use,import,export must come before all other items. * disallow use,import in "native" declarations.
| * permit use before import. closes #48Adam Bozanich2010-07-161-36/+23
| |
* | Make mutability no longer a type constructorPatrick Walton2010-07-152-48/+77
| |
* | Desugar the head stmts all the way out of STMT_for, rather than stashing ↵Graydon Hoare2010-07-132-9/+9
| | | | | | | | them in the node. That's only necessary for STMT_while.
* | Accept effect-qualified local item declarations.Graydon Hoare2010-07-131-1/+1
| |
* | Merge branch 'contrib'Graydon Hoare2010-07-121-3/+3
|\|
| * Fix formatting trivia in Ast.fmt_stmt_body.Jason Orendorff2010-07-131-3/+3
| |
* | Wrap long line.Graydon Hoare2010-07-121-1/+2
| |
* | Add a ty_children function to enumerate the children of any typePatrick Walton2010-07-121-0/+26
|/