aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe
Commit message (Collapse)AuthorAgeFilesLines
* Add FreeBSD_x86_elf target to rustbootRob Arnold2011-02-091-0/+1
|
* Syntax tweak: move 'mutable' from pseudo-ty-param on vec ctor to ↵Graydon Hoare2010-12-131-10/+20
| | | | low-precedence prefix inside paren.
* Change 'stratum' to the friendlier term 'layer'.Graydon Hoare2010-12-035-50/+50
|
* Change PVAL_num to PVAL_int and remove non-int literal forms.Graydon Hoare2010-11-131-16/+14
|
* Remove dead code in cexp.Graydon Hoare2010-11-131-1/+0
|
* Shift obj, type, param decls to have strata rather than effects.Graydon Hoare2010-11-024-33/+46
|
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-027-46/+121
|
* rustboot: Don't use ridiculous type names when describing simple types like ↵Patrick Walton2010-10-211-0/+11
| | | | int and uint
* Bind labels explicitly in fe/cexp.ml. Should fix issue #169.Patrick Walton2010-10-111-2/+2
|
* Sketch out #fmt syntax extension in rustboot.Graydon Hoare2010-10-012-42/+407
|
* Drop slots on block exits even when blocks have no statements. Part way to ↵Graydon Hoare2010-09-301-0/+1
| | | | fixing bind leakage in rustc.
* implemented break for while-loop caseOr Brostovski2010-09-304-1/+20
| | | | | | | | | | | | | | ast.ml - added break and cont statements item.ml - added break and cont statements lexer.mll - added break and cont statements token.ml - added break and cont statements trans.ml - implemented the break statement for the while-loop case - replaced hash table accesses with get_stmt_depth where needed type.ml = added break and cont statements typestate.ml - implemented the break statement for the while-loop case - added shorthand filter_live_block_slots walk.ml - added break and cont statements while-with-break.rs - code for testing while loops
* Closed issue 154 - prevents compiler from compiliing a line to zero statementsOr Brostovski2010-09-301-1/+10
|
* Report an error instead of asserting when an item name is already in usePatrick Walton2010-09-211-3/+7
|
* Tighten pattern parsing on 0-ary constructors.Graydon Hoare2010-09-211-1/+5
|
* Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵Graydon Hoare2010-09-203-13/+30
| | | | translate 0-ary constructors as constants. Rustc loses ~300kb.
* Wrap long lines.Graydon Hoare2010-09-201-2/+4
|
* Use name_base in plval base.Graydon Hoare2010-09-203-18/+8
|
* Move id counters into sess in preparation for moving desugaring to middle-end.Graydon Hoare2010-09-203-48/+19
|
* Add a pexp-rebuild phase to the type resolution pass in resolve.ml.Graydon Hoare2010-09-161-0/+2
|
* Add beginnings of a fuzzer to rustboot.Graydon Hoare2010-09-161-0/+166
|
* Minor improvements to pretty-printer.Graydon Hoare2010-09-151-5/+16
|
* 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.