aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/ast.ml
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵Graydon Hoare2011-03-251-1/+1
| | | | | | 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-251-1/+1
| | | | off src root.
* 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 ↵Patrick Walton2010-10-211-0/+11
| | | | int and uint
* 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-301-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
* 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 ↵Graydon Hoare2010-09-151-3/+7
| | | | 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-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 ↵Graydon Hoare2010-09-091-94/+19
| | | | work, possibly a little bumpy. Changes a lot.
* Initial support for a global crate metadata cachePatrick Walton2010-09-071-4/+2
|
* Merge remote branch 'tohava/master'Graydon Hoare2010-08-231-7/+6
|\ | | | | | | | | Conflicts: src/boot/fe/ast.ml
| * Modified parser to handle alt type andadded a few testsOr Brostovski2010-08-211-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
* | Merge commit 'tohava/master'Graydon Hoare2010-08-101-20/+56
|\| | | | | | | | | Conflicts: src/boot/fe/ast.ml
| * 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
| | | | | | | | | | | | | | - 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
* | Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin2010-08-091-2/+3
| | | | | | | | | | after the "spawn" keyword, or implicitly the call expression used to start the spawn.
* | 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
|/ | | | | | | - 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
* Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as ↵Graydon Hoare2010-07-271-7/+10
| | | | a cast notation. Closes #129.
* 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 ↵Graydon Hoare2010-07-201-0/+12
| | | | undesirable) sorts of error, we should handle better than "backtrace and exit 2".
* 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
| | | | what to do with, rather than silently omitting it from the output.
* 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 ↵Graydon Hoare2010-07-131-3/+2
| | | | them in the node. That's only necessary for STMT_while.
* 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 ↵Graydon Hoare2010-07-021-5/+9
|\ | | | | | | into exterior_and_mutable_types
| * 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
|
* Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵Graydon Hoare2010-06-301-6/+6
| | | | keep MEM_interior for describing interior-parts-of-allocations)
* Improve logging in type.ml, give it indentation and per-statement context.Graydon Hoare2010-06-301-1/+3
|
* Fix recently-broken lval formatter.Graydon Hoare2010-06-301-0/+2
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-13 18:08:25 +0000