aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/item.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-14/+14
|
* Shift obj, type, param decls to have strata rather than effects.Graydon Hoare2010-11-021-14/+24
|
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-021-14/+21
|
* implemented break for while-loop caseOr Brostovski2010-09-301-1/+8
| | | | | | | | | | | | | | 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
* Closed issue 154 - prevents compiler from compiliing a line to zero statementsOr Brostovski2010-09-301-1/+10
|
* Report an error instead of asserting when an item name is already in usePatrick Walton2010-09-211-3/+7
|
* Tighten pattern parsing on 0-ary constructors.Graydon Hoare2010-09-211-1/+5
|
* Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵Graydon Hoare2010-09-201-13/+27
| | | | translate 0-ary constructors as constants. Rustc loses ~300kb.
* Move id counters into sess in preparation for moving desugaring to middle-end.Graydon Hoare2010-09-201-8/+1
|
* Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵Graydon Hoare2010-09-151-5/+26
| | | | later stages. Fixes to pexp pretty printer.
* Teach front-end about simple, first-cut version of const items.Graydon Hoare2010-09-141-0/+18
|
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵Graydon Hoare2010-09-091-115/+120
| | | | work, possibly a little bumpy. Changes a lot.
* First lame stab at solving the diamond import problemPatrick Walton2010-09-081-1/+6
|
* Initial support for a global crate metadata cachePatrick Walton2010-09-071-1/+1
|
* Merge remote branch 'tohava/master'Graydon Hoare2010-08-231-62/+110
|\ | | | | | | | | Conflicts: src/boot/fe/ast.ml
| * Modified parser to handle alt type andadded a few testsOr Brostovski2010-08-211-62/+110
| | | | | | | | | | | | | | | | | | | | | | | | 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
* | Warn when the value of "spawn" is unused, as it's uselessPatrick Walton2010-08-201-1/+5
| |
* | Absent any deep overhauls to syntax or constant-handling, hack in the ↵Graydon Hoare2010-08-161-3/+11
| | | | | | | | ability to project a cexp var binding to a token in the parser. Use it in comp/rustc.rc and comp/lib/llvm.rs.
* | Kill old parser support for type-parametric modules. We don't support those.Graydon Hoare2010-08-121-2/+2
|/
* Accept uint literals as literal patterns.Roy Frostig2010-08-061-1/+4
|
* Include the statements on the LHS of a binop when desugaring. Closes #117.Patrick Walton2010-07-191-56/+57
|
* Merge branch 'contrib'Graydon Hoare2010-07-151-87/+88
|\
| * use,import,export parse fixesAdam Bozanich2010-07-161-73/+87
| | | | | | | | | | * use,import,export must come before all other items. * disallow use,import in "native" declarations.
| * permit use before import. closes #48Adam Bozanich2010-07-161-36/+23
| |
* | Desugar the head stmts all the way out of STMT_for, rather than stashing ↵Graydon Hoare2010-07-131-6/+7
| | | | | | | | them in the node. That's only necessary for STMT_while.
* | Accept effect-qualified local item declarations.Graydon Hoare2010-07-131-1/+1
|/
* Parse effect-qualified type definitions.Graydon Hoare2010-07-021-13/+20
|
* Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵Graydon Hoare2010-06-301-1/+1
| | | | keep MEM_interior for describing interior-parts-of-allocations)
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-4/+12
|
* Some fixme-to-issue housekeeping.Graydon Hoare2010-06-281-1/+0
|
* Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵Graydon Hoare2010-06-271-7/+21
| | | | instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13.
* Resolve and typecheck patterns in pattern alt redux. This time featuring ↵Roy Frostig2010-06-251-14/+16
| | | | way more correctness.
* Resolve and typecheck patterns in pattern alt.Roy Frostig2010-06-241-10/+15
|
* Populate tree.Graydon Hoare2010-06-231-0/+1139