aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/ast.ml
Commit message (Expand)AuthorAgeFilesLines
* Remove half-baked 'opacity' layer qualifier.Graydon Hoare2011-04-191-21/+0
* Remove effect system from src.Graydon Hoare2011-04-191-25/+2
* Add log_err to rustbootMarijn Haverbeke2011-04-191-0/+8
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-251-1/+1
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare2011-03-251-1/+1
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare2011-03-251-1/+1
* Change 'stratum' to the friendlier term 'layer'.Graydon Hoare2010-12-031-25/+25
* Shift obj, type, param decls to have strata rather than effects.Graydon Hoare2010-11-021-13/+13
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-021-20/+60
* rustboot: Don't use ridiculous type names when describing simple types like i...Patrick Walton2010-10-211-0/+11
* Drop slots on block exits even when blocks have no statements. Part way to fi...Graydon Hoare2010-09-301-0/+1
* implemented break for while-loop caseOr Brostovski2010-09-301-0/+6
* Use name_base in plval base.Graydon Hoare2010-09-201-8/+3
* Add a pexp-rebuild phase to the type resolution pass in resolve.ml.Graydon Hoare2010-09-161-0/+2
* Minor improvements to pretty-printer.Graydon Hoare2010-09-151-5/+16
* Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into late...Graydon Hoare2010-09-151-3/+7
* 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-141-1/+31
* Teach front-end about simple, first-cut version of const items.Graydon Hoare2010-09-141-0/+13
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare2010-09-091-94/+19
* Initial support for a global crate metadata cachePatrick Walton2010-09-071-4/+2
* Merge remote branch 'tohava/master'Graydon Hoare2010-08-231-7/+6
|\
| * Modified parser to handle alt type andadded a few testsOr Brostovski2010-08-211-3/+6
* | Merge commit 'tohava/master'Graydon Hoare2010-08-101-20/+56
|\|
| * 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
| * Added AST logging, and modified AST for consistent handling of alt stmts.Tohava2010-08-051-18/+57
* | Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin2010-08-091-2/+3
* | 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
|/
* Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as a...Graydon Hoare2010-07-271-7/+10
* Add pretty-printing for alt-tag statements.Graydon Hoare2010-07-231-1/+32
* Rename STMT_init_* to STMT_new_*; former name was confusing.Graydon Hoare2010-07-231-14/+14
* Source FIXME annotations for issue #81 and a correction to STMT_bind fmt.Roy Frostig2010-07-221-1/+1
* Tidy up handling of unimplemented features. These are expected (if undesirabl...Graydon Hoare2010-07-201-0/+12
* Fix opeq.rs for LLVM by implementing simple augmented-assignment operators.Jeffrey Yasskin2010-07-201-0/+1
* Make the LLVM compiler crash when it hits a source construct it doesn't knowJeffrey Yasskin2010-07-201-0/+2
* Make mutability no longer a type constructorPatrick Walton2010-07-151-9/+20
* Desugar the head stmts all the way out of STMT_for, rather than stashing them...Graydon Hoare2010-07-131-3/+2
* Merge branch 'contrib'Graydon Hoare2010-07-121-3/+3
|\
| * Fix formatting trivia in Ast.fmt_stmt_body.Jason Orendorff2010-07-131-3/+3
* | Wrap long line.Graydon Hoare2010-07-121-1/+2
* | Add a ty_children function to enumerate the children of any typePatrick Walton2010-07-121-0/+26
|/
* Merge branch 'exterior_and_mutable_types' of [email protected]:graydon/rust into...Graydon Hoare2010-07-021-5/+9
|\
| * Allow formatting individual decl_paramsPatrick Walton2010-07-021-5/+9
* | Parse effect-qualified type definitions.Graydon Hoare2010-07-021-6/+9
|/
* Catch ast pretty-printer up with init-tup syntax.Graydon Hoare2010-07-011-1/+1