about summary refs log tree commit diff
path: root/src/boot/fe/ast.ml
AgeCommit message (Collapse)AuthorLines
2011-05-13Remove rustboot from the repository.Graydon Hoare-1795/+0
2011-04-19Remove half-baked 'opacity' layer qualifier.Graydon Hoare-21/+0
2011-04-19Remove effect system from src.Graydon Hoare-25/+2
2011-04-19Add log_err to rustbootMarijn Haverbeke-0/+8
2011-03-25Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare-1/+1
2011-03-25Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵Graydon Hoare-1/+1
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-1/+1
off src root.
2010-12-03Change 'stratum' to the friendlier term 'layer'.Graydon Hoare-25/+25
2010-11-02Shift obj, type, param decls to have strata rather than effects.Graydon Hoare-13/+13
2010-11-02First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare-20/+60
2010-10-21rustboot: Don't use ridiculous type names when describing simple types like ↵Patrick Walton-0/+11
int and uint
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-0/+6
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-20Use name_base in plval base.Graydon Hoare-8/+3
2010-09-16Add a pexp-rebuild phase to the type resolution pass in resolve.ml.Graydon Hoare-0/+2
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-3/+7
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-1/+31
2010-09-14Teach front-end about simple, first-cut version of const items.Graydon Hoare-0/+13
2010-09-09Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵Graydon Hoare-94/+19
work, possibly a little bumpy. Changes a lot.
2010-09-07Initial support for a global crate metadata cachePatrick Walton-4/+2
2010-08-23Merge remote branch 'tohava/master'Graydon Hoare-7/+6
Conflicts: src/boot/fe/ast.ml
2010-08-21Modified parser to handle alt type andadded a few testsOr Brostovski-3/+6
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-10Merge commit 'tohava/master'Graydon Hoare-20/+56
Conflicts: src/boot/fe/ast.ml
2010-08-09Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin-2/+3
after the "spawn" keyword, or implicitly the call expression used to start the spawn.
2010-08-07Added AST pretty printing for communication alt statement, closes issue 19.Or Brostovski-4/+38
2010-08-06Added forgotten handling for alt_type_else, and also for stmt_noteOr Brostovski-10/+26
2010-08-06Added AST pretty printing for slice expressionOr Brostovski-1/+28
2010-08-06Added AST logging, and modified AST for consistent handling of alt stmts.Or Brostovski-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
2010-08-06Added forgotten handling for alt_type_else, and also for stmt_noteTohava-10/+26
2010-08-06Added AST pretty printing for slice expressionTohava-1/+28
2010-08-05Added AST logging, and modified AST for consistent handling of alt stmts.Tohava-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
2010-07-27Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as ↵Graydon Hoare-7/+10
a cast notation. Closes #129.
2010-07-23Add pretty-printing for alt-tag statements.Graydon Hoare-1/+32
2010-07-23Rename STMT_init_* to STMT_new_*; former name was confusing.Graydon Hoare-14/+14
2010-07-22Source FIXME annotations for issue #81 and a correction to STMT_bind fmt.Roy Frostig-1/+1
2010-07-20Tidy up handling of unimplemented features. These are expected (if ↵Graydon Hoare-0/+12
undesirable) sorts of error, we should handle better than "backtrace and exit 2".
2010-07-20Fix opeq.rs for LLVM by implementing simple augmented-assignment operators.Jeffrey Yasskin-0/+1
2010-07-20Make the LLVM compiler crash when it hits a source construct it doesn't knowJeffrey Yasskin-0/+2
what to do with, rather than silently omitting it from the output.
2010-07-15Make mutability no longer a type constructorPatrick Walton-9/+20
2010-07-13Desugar the head stmts all the way out of STMT_for, rather than stashing ↵Graydon Hoare-3/+2
them in the node. That's only necessary for STMT_while.
2010-07-12Merge branch 'contrib'Graydon Hoare-3/+3
2010-07-12Wrap long line.Graydon Hoare-1/+2
2010-07-13Fix formatting trivia in Ast.fmt_stmt_body.Jason Orendorff-3/+3
2010-07-12Add a ty_children function to enumerate the children of any typePatrick Walton-0/+26
2010-07-02Merge branch 'exterior_and_mutable_types' of git@github.com:graydon/rust ↵Graydon Hoare-5/+9
into exterior_and_mutable_types
2010-07-02Parse effect-qualified type definitions.Graydon Hoare-6/+9
2010-07-02Allow formatting individual decl_paramsPatrick Walton-5/+9