about summary refs log tree commit diff
path: root/src/boot/fe/ast.ml
AgeCommit message (Expand)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 build...Graydon Hoare-1/+1
2011-03-25Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare-1/+1
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 i...Patrick Walton-0/+11
2010-09-30Drop slots on block exits even when blocks have no statements. Part way to fi...Graydon Hoare-0/+1
2010-09-30implemented break for while-loop caseOr Brostovski-0/+6
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 late...Graydon Hoare-3/+7
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 wo...Graydon Hoare-94/+19
2010-09-07Initial support for a global crate metadata cachePatrick Walton-4/+2
2010-08-23Merge remote branch 'tohava/master'Graydon Hoare-7/+6
2010-08-21Modified parser to handle alt type andadded a few testsOr Brostovski-3/+6
2010-08-10Merge commit 'tohava/master'Graydon Hoare-20/+56
2010-08-09Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin-2/+3
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
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
2010-07-27Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as a...Graydon Hoare-7/+10
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 undesirabl...Graydon Hoare-0/+12
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
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 them...Graydon Hoare-3/+2
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 into...Graydon Hoare-5/+9
2010-07-02Parse effect-qualified type definitions.Graydon Hoare-6/+9
2010-07-02Allow formatting individual decl_paramsPatrick Walton-5/+9