| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵ | Graydon Hoare | 2010-09-15 | 14 | -12/+66 | |
| | | | | | later stages. Fixes to pexp pretty printer. | |||||
| * | Add pretty-printing for pexps. | Graydon Hoare | 2010-09-15 | 1 | -0/+145 | |
| | | ||||||
| * | Add some form-judgements on plvals and pexps. | Graydon Hoare | 2010-09-15 | 2 | -10/+169 | |
| | | ||||||
| * | Commence moving pexp into ast, for eventual merger with expr. | Graydon Hoare | 2010-09-14 | 3 | -154/+158 | |
| | | ||||||
| * | Begin actually folding constant items into operands at site of use. | Graydon Hoare | 2010-09-14 | 2 | -8/+78 | |
| | | ||||||
| * | Translate const uses via runtime expression evaluation. | Graydon Hoare | 2010-09-14 | 1 | -6/+16 | |
| | | ||||||
| * | Teach front-end about simple, first-cut version of const items. | Graydon Hoare | 2010-09-14 | 7 | -0/+39 | |
| | | ||||||
| * | Fix leaking arg slots on tail calls. Closes #160. | Graydon Hoare | 2010-09-13 | 1 | -0/+2 | |
| | | ||||||
| * | Fix a leak when box types are used via type descriptors. | Graydon Hoare | 2010-09-12 | 1 | -2/+2 | |
| | | ||||||
| * | Use hashtable rather than bitset for vreg constraints in ra; speeds compilation. | Graydon Hoare | 2010-09-09 | 3 | -26/+40 | |
| | | ||||||
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵ | Graydon Hoare | 2010-09-09 | 16 | -1245/+842 | |
| | | | | | work, possibly a little bumpy. Changes a lot. | |||||
| * | First lame stab at solving the diamond import problem | Patrick Walton | 2010-09-08 | 5 | -25/+53 | |
| | | ||||||
| * | Lots of design changes around proxies and message passing. Made it so that ↵ | Michael Bebenita | 2010-09-07 | 1 | -1/+1 | |
| | | | | | domains can only talk to other domains via handles, and with the help of the rust_kernel. | |||||
| * | Initial support for a global crate metadata cache | Patrick Walton | 2010-09-07 | 6 | -6/+22 | |
| | | ||||||
| * | Recursively drop a type's parts if the type uses any typarams, since those ↵ | Roy Frostig | 2010-09-07 | 1 | -3/+5 | |
| | | | | | typarams may represent types that actually require dropping. | |||||
| * | When vec growth results in a newly allocated (extended) buffer, copy ↵ | Roy Frostig | 2010-09-03 | 3 | -19/+195 | |
| | | | | | existing elements over via element-wise copy, not flat memcpy. Introduce new vec growth glue to achieve this. | |||||
| * | Assert to insure that the worst-case glue-call arg count is not exceeded ↵ | Roy Frostig | 2010-09-03 | 1 | -5/+22 | |
| | | | | | unless allowed to. | |||||
| * | Fail a bit more informatively on a bad get_element_ptr_dyn. | Roy Frostig | 2010-09-03 | 1 | -2/+6 | |
| | | ||||||
| * | Whitespace churn. | Graydon Hoare | 2010-08-31 | 1 | -1/+1 | |
| | | ||||||
| * | Make pattern-alt drop the slots it initializes when binding slot patterns. ↵ | Roy Frostig | 2010-08-27 | 3 | -37/+52 | |
| | | | | | Undoes most of the hackiness in 5e77e784f006e36c06252d9beccbd7893eddac73 and replaces it with a more proper fix. | |||||
| * | Have alt-pattern drop the slots it initializes when binding slot patterns. ↵ | Roy Frostig | 2010-08-27 | 1 | -10/+35 | |
| | | | | | Add a testcase for this as well. | |||||
| * | Read definitions of tag types in the DWARF | Patrick Walton | 2010-08-27 | 1 | -32/+52 | |
| | | ||||||
| * | Zero-length tuples can show up in tag types. Don't forbid them when reading ↵ | Patrick Walton | 2010-08-27 | 1 | -2/+2 | |
| | | | | | in the DWARF. | |||||
| * | Simplify null-writing from commit 8559a85ccacf70c51d93759b47a3880ae818b247 ↵ | Roy Frostig | 2010-08-26 | 1 | -8/+2 | |
| | | | | | so as to avoid a branch. | |||||
| * | Encode tag names in the DWARF | Patrick Walton | 2010-08-26 | 1 | -4/+5 | |
| | | ||||||
| * | Make vreg constrs per-quad, regfence on nontrivial constrs, back out ↵ | Graydon Hoare | 2010-08-26 | 1 | -46/+61 | |
| | | | | | workaround to _uint, add regression test. Closes #152. | |||||
| * | Add automatic parameter instantiation. Closes #45. | Patrick Walton | 2010-08-26 | 1 | -8/+31 | |
| | | ||||||
| * | When copying function values, null out the destination's binding iff the ↵ | Roy Frostig | 2010-08-26 | 1 | -1/+14 | |
| | | | | | source's binding is null. | |||||
| * | Add check to catch bug underlying issue #152. Fix will take longer. | Graydon Hoare | 2010-08-26 | 1 | -1/+14 | |
| | | ||||||
| * | Add a "param handler" to demand_fn for use in automatic type parameter ↵ | Patrick Walton | 2010-08-26 | 1 | -12/+18 | |
| | | | | | instantiation | |||||
| * | Tiny style cleanup in a pattern match in type.ml | Patrick Walton | 2010-08-26 | 1 | -1/+1 | |
| | | ||||||
| * | Typecheck function patterns | Patrick Walton | 2010-08-25 | 1 | -9/+14 | |
| | | ||||||
| * | Insure bools remain 0x1 or 0x0 by having boolean-NOT not just be a simple ↵ | Roy Frostig | 2010-08-25 | 1 | -1/+4 | |
| | | | | | bit-NOT. | |||||
| * | Add element to closure to hold captured tydesc (not body tydesc). | Graydon Hoare | 2010-08-25 | 3 | -10/+12 | |
| | | ||||||
| * | Merge obj-drop and closure-drop code, handles freeing bound exteriors now. | Graydon Hoare | 2010-08-25 | 2 | -44/+52 | |
| | | ||||||
| * | First pass of updating the in-memory layout of closures, for issue 81. | Graydon Hoare | 2010-08-25 | 3 | -121/+153 | |
| | | ||||||
| * | Janitorial work on obj box / body / field terminology, following froystig's ↵ | Graydon Hoare | 2010-08-25 | 4 | -35/+40 | |
| | | | | | brave lead. | |||||
| * | Fix ghastly typestate bug breaking nested functions. | Graydon Hoare | 2010-08-25 | 1 | -8/+58 | |
| | | ||||||
| * | Introduce "type patterns" to the typechecker in preparation for function ↵ | Patrick Walton | 2010-08-25 | 1 | -36/+51 | |
| | | | | | type-param inference | |||||
| * | Obj ctors are not obj fns so translate their frame entry as such. | Roy Frostig | 2010-08-25 | 1 | -1/+1 | |
| | | ||||||
| * | Fix residual nonsense of storing crate-rel displacements in a closure pair ↵ | Graydon Hoare | 2010-08-24 | 1 | -12/+4 | |
| | | | | | (made it impossible to pass between crates, of course). | |||||
| * | Remove obsolete TODO about checking for return statements | Patrick Walton | 2010-08-24 | 1 | -2/+0 | |
| | | ||||||
| * | Elide preempt check on thunk and ctor frames. Wins 8kb on rustc. | Graydon Hoare | 2010-08-24 | 1 | -6/+11 | |
| | | ||||||
| * | Avoid emitting unnecessary frame glue. Wins a couple hundred kb of rustc. | Graydon Hoare | 2010-08-24 | 1 | -33/+74 | |
| | | ||||||
| * | Avoid iterating ty parts on drop when there are no heap pointers in ty. Wins ↵ | Graydon Hoare | 2010-08-24 | 2 | -5/+31 | |
| | | | | | several tens of kb on rustc. | |||||
| * | Shrink size of glue calls. Wins a few tens of kb on rustc. | Graydon Hoare | 2010-08-24 | 1 | -6/+2 | |
| | | ||||||
| * | Make error reporting slightly more regular. | Graydon Hoare | 2010-08-24 | 2 | -3/+4 | |
| | | ||||||
| * | Merge remote branch 'tohava/master' | Graydon Hoare | 2010-08-23 | 4 | -70/+148 | |
| |\ | | | | | | | | | Conflicts: src/boot/fe/ast.ml | |||||
| | * | Modified parser to handle alt type andadded a few tests | Or Brostovski | 2010-08-21 | 4 | -66/+148 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | 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 branch 'master' of git://github.com/graydon/rust | Or Brostovski | 2010-08-07 | 7 | -78/+149 | |
| | |\ | | | | | | | | | | | | | Conflicts: src/boot/fe/ast.ml | |||||