aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe
Commit message (Collapse)AuthorAgeFilesLines
* Un-revert "Use different syntax for checks that matter to typestate", fixing ↵Patrick Walton2011-05-023-0/+11
| | | | | | the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.
* Revert "Use different syntax for checks that matter to typestate"Graydon Hoare2011-05-023-11/+0
| | | | This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.
* Use different syntax for checks that matter to typestateTim Chevalier2011-05-023-0/+11
| | | | | | | | | | This giant commit changes the syntax of Rust to use "assert" for "check" expressions that didn't mean anything to the typestate system, and continue using "check" for checks that are used as part of typestate checking. Most of the changes are just replacing "check" with "assert" in test cases and rustc.
* Remove half-baked 'opacity' layer qualifier.Graydon Hoare2011-04-195-39/+2
|
* Remove effect system from src.Graydon Hoare2011-04-196-67/+21
|
* Add log_err to rustbootMarijn Haverbeke2011-04-194-0/+16
|
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-259-9/+9
|
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵Graydon Hoare2011-03-259-9/+9
| | | | | | build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c.
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵Graydon Hoare2011-03-259-9/+9
| | | | off src root.
* Improve error message when the lexer sees a bad characterTim Chevalier2011-03-241-1/+2
|
* rustboot: Parse, and ignore, "mutable?"Patrick Walton2011-03-181-2/+14
|
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 14:10:56 +0000