aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/ast.ml
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Add a COMP_deref to lvals for explicit-derefs, modify typechecker to ↵Graydon Hoare2010-06-301-14/+12
| | | | implicitly deref in only *some* contexts.
* Fix exterior formatter.Graydon Hoare2010-06-301-1/+1
|
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-41/+60
|
* Resolve and typecheck patterns in pattern alt redux. This time featuring ↵Roy Frostig2010-06-251-1/+7
| | | | way more correctness.
* Add fmt module, move out some common format helpers, add ↵Graydon Hoare2010-06-241-25/+1
| | | | instruction-selection tracing and make selection use queues rather than list refs.
* Resolve and typecheck patterns in pattern alt.Roy Frostig2010-06-241-1/+1
|
* Populate tree.Graydon Hoare2010-06-231-0/+1360