about summary refs log tree commit diff
path: root/src/boot/fe
AgeCommit message (Collapse)AuthorLines
2011-05-13Remove rustboot from the repository.Graydon Hoare-6920/+0
2011-05-02Un-revert "Use different syntax for checks that matter to typestate", fixing ↵Patrick Walton-0/+11
the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.
2011-05-02Revert "Use different syntax for checks that matter to typestate"Graydon Hoare-11/+0
This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.
2011-05-02Use different syntax for checks that matter to typestateTim Chevalier-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.
2011-04-19Remove half-baked 'opacity' layer qualifier.Graydon Hoare-39/+2
2011-04-19Remove effect system from src.Graydon Hoare-67/+21
2011-04-19Add log_err to rustbootMarijn Haverbeke-0/+16
2011-03-25Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare-9/+9
2011-03-25Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵Graydon Hoare-9/+9
build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c.
2011-03-25Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵Graydon Hoare-9/+9
off src root.
2011-03-24Improve error message when the lexer sees a bad characterTim Chevalier-1/+2
2011-03-18rustboot: Parse, and ignore, "mutable?"Patrick Walton-2/+14
2011-02-09Add FreeBSD_x86_elf target to rustbootRob Arnold-0/+1
2010-12-13Syntax tweak: move 'mutable' from pseudo-ty-param on vec ctor to ↵Graydon Hoare-10/+20
low-precedence prefix inside paren.
2010-12-03Change 'stratum' to the friendlier term 'layer'.Graydon Hoare-50/+50
2010-11-13Change PVAL_num to PVAL_int and remove non-int literal forms.Graydon Hoare-16/+14
2010-11-13Remove dead code in cexp.Graydon Hoare-1/+0
2010-11-02Shift obj, type, param decls to have strata rather than effects.Graydon Hoare-33/+46
2010-11-02First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare-46/+121
2010-10-21rustboot: Don't use ridiculous type names when describing simple types like ↵Patrick Walton-0/+11
int and uint
2010-10-11Bind labels explicitly in fe/cexp.ml. Should fix issue #169.Patrick Walton-2/+2
2010-10-01Sketch out #fmt syntax extension in rustboot.Graydon Hoare-42/+407
2010-09-30Drop slots on block exits even when blocks have no statements. Part way to ↵Graydon Hoare-0/+1
fixing bind leakage in rustc.
2010-09-30implemented break for while-loop caseOr Brostovski-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
2010-09-30Closed issue 154 - prevents compiler from compiliing a line to zero statementsOr Brostovski-1/+10
2010-09-21Report an error instead of asserting when an item name is already in usePatrick Walton-3/+7
2010-09-21Tighten pattern parsing on 0-ary constructors.Graydon Hoare-1/+5
2010-09-20Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵Graydon Hoare-13/+30
translate 0-ary constructors as constants. Rustc loses ~300kb.
2010-09-20Wrap long lines.Graydon Hoare-2/+4
2010-09-20Use name_base in plval base.Graydon Hoare-18/+8
2010-09-20Move id counters into sess in preparation for moving desugaring to middle-end.Graydon Hoare-48/+19
2010-09-16Add a pexp-rebuild phase to the type resolution pass in resolve.ml.Graydon Hoare-0/+2
2010-09-16Add beginnings of a fuzzer to rustboot.Graydon Hoare-0/+166
2010-09-15Minor improvements to pretty-printer.Graydon Hoare-5/+16
2010-09-15Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵Graydon Hoare-10/+37
later stages. Fixes to pexp pretty printer.
2010-09-15Add pretty-printing for pexps.Graydon Hoare-0/+145
2010-09-15Add some form-judgements on plvals and pexps.Graydon Hoare-10/+86
2010-09-14Commence moving pexp into ast, for eventual merger with expr.Graydon Hoare-154/+158
2010-09-14Teach front-end about simple, first-cut version of const items.Graydon Hoare-0/+34
2010-09-09Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵Graydon Hoare-229/+145
work, possibly a little bumpy. Changes a lot.
2010-09-08First lame stab at solving the diamond import problemPatrick Walton-5/+22
2010-09-07Initial support for a global crate metadata cachePatrick Walton-5/+3
2010-08-24Make error reporting slightly more regular.Graydon Hoare-2/+3
2010-08-23Merge remote branch 'tohava/master'Graydon Hoare-69/+116
Conflicts: src/boot/fe/ast.ml
2010-08-20Warn when the value of "spawn" is unused, as it's uselessPatrick Walton-1/+5
2010-08-21Modified parser to handle alt type andadded a few testsOr Brostovski-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
2010-08-17Add support for a reserved-words list and reserve the various ↵Graydon Hoare-15/+72
not-supported-but-plausible IEEE datatypes.
2010-08-16Absent any deep overhauls to syntax or constant-handling, hack in the ↵Graydon Hoare-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.
2010-08-12Kill old parser support for type-parametric modules. We don't support those.Graydon Hoare-2/+2
2010-08-10Merge commit 'tohava/master'Graydon Hoare-20/+56
Conflicts: src/boot/fe/ast.ml