aboutsummaryrefslogtreecommitdiff
path: root/src/boot
Commit message (Collapse)AuthorAgeFilesLines
* Janitorial work on obj box / body / field terminology, following froystig's ↵Graydon Hoare2010-08-254-35/+40
| | | | brave lead.
* Fix ghastly typestate bug breaking nested functions.Graydon Hoare2010-08-251-8/+58
|
* Introduce "type patterns" to the typechecker in preparation for function ↵Patrick Walton2010-08-251-36/+51
| | | | type-param inference
* Obj ctors are not obj fns so translate their frame entry as such.Roy Frostig2010-08-251-1/+1
|
* Fix residual nonsense of storing crate-rel displacements in a closure pair ↵Graydon Hoare2010-08-241-12/+4
| | | | (made it impossible to pass between crates, of course).
* Remove obsolete TODO about checking for return statementsPatrick Walton2010-08-241-2/+0
|
* Elide preempt check on thunk and ctor frames. Wins 8kb on rustc.Graydon Hoare2010-08-241-6/+11
|
* Avoid emitting unnecessary frame glue. Wins a couple hundred kb of rustc.Graydon Hoare2010-08-241-33/+74
|
* Avoid iterating ty parts on drop when there are no heap pointers in ty. Wins ↵Graydon Hoare2010-08-242-5/+31
| | | | several tens of kb on rustc.
* Shrink size of glue calls. Wins a few tens of kb on rustc.Graydon Hoare2010-08-241-6/+2
|
* Make error reporting slightly more regular.Graydon Hoare2010-08-242-3/+4
|
* Merge remote branch 'tohava/master'Graydon Hoare2010-08-234-70/+148
|\ | | | | | | | | Conflicts: src/boot/fe/ast.ml
| * Modified parser to handle alt type andadded a few testsOr Brostovski2010-08-214-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/rustOr Brostovski2010-08-077-78/+149
| |\ | | | | | | | | | | | | Conflicts: src/boot/fe/ast.ml
* | | Warn when the value of "spawn" is unused, as it's uselessPatrick Walton2010-08-201-1/+5
| | |
* | | Modify session to report errors in an emacs-parser-friendlier way.Graydon Hoare2010-08-201-2/+2
| | |
* | | Support single-element append on vec, str. Closes #44.Graydon Hoare2010-08-202-8/+74
| | |
* | | Fix a bunch of typestate bugs in handling if and while statement wirings.Graydon Hoare2010-08-193-19/+46
| | |
* | | Export all item code to stabs on Windows (including e.g. object methods)Patrick Walton2010-08-191-3/+5
| | |
* | | Export glue as stabs on Windows as wellPatrick Walton2010-08-191-5/+13
| | |
* | | Add some mangled stabs to help debugging on WindowsPatrick Walton2010-08-191-2/+18
| | |
* | | Add support for casting native types.Graydon Hoare2010-08-182-7/+10
| | |
* | | Add support for a reserved-words list and reserve the various ↵Graydon Hoare2010-08-171-15/+72
| | | | | | | | | | | | not-supported-but-plausible IEEE datatypes.
* | | Absent any deep overhauls to syntax or constant-handling, hack in the ↵Graydon Hoare2010-08-163-19/+43
| | | | | | | | | | | | ability to project a cexp var binding to a token in the parser. Use it in comp/rustc.rc and comp/lib/llvm.rs.
* | | Evil solution to the problem of importing the same opaque from two different ↵Patrick Walton2010-08-131-1/+1
| | | | | | | | | | | | files. Closes #145.
* | | Zero LMA/VMA of debug sections in elf. Closes #148.Graydon Hoare2010-08-121-105/+42
| | |
* | | Fix max_sz bug that ended up causing us to index incorrectly into a vec of ↵Roy Frostig2010-08-121-1/+1
| | | | | | | | | | | | tag types. Add a testcase.
* | | Kill old parser support for type-parametric modules. We don't support those.Graydon Hoare2010-08-121-2/+2
| | |
* | | Some ELF correctness issues, but apparently none enough to placate gdb.Graydon Hoare2010-08-111-25/+50
| | |
* | | Increment ref counts of objects sent along channels.Michael Bebenita2010-08-111-2/+11
| | |
* | | Change dwarf output on linux to switch from relative to absolute addresses ↵Graydon Hoare2010-08-111-7/+1
| | | | | | | | | | | | based on library-mode-ness, might help fight ASLR-induced confusion.
* | | Put out burning tinderbox on OSX.Graydon Hoare2010-08-101-8/+19
| | |
* | | Always bounce mul/div/mod ops. Closes #131 harder.Graydon Hoare2010-08-102-24/+7
| | |
* | | 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
| | |
| * | Merge branch 'master' of git://github.com/graydon/rustTohava2010-08-052-45/+102
| |\ \
| * | | Added AST logging, and modified AST for consistent handling of alt stmts.Tohava2010-08-052-19/+59
| | | | | | | | | | | | | | | | | | | | | | | | | | | | - 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
* | | | Merge commit 'jyasskin/work'Graydon Hoare2010-08-109-18/+41
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: src/rt/rust_dom.cpp src/rt/rust_upcall.cpp
| * | | | Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin2010-08-099-18/+41
| | |_|/ | |/| | | | | | | | | | | | | | after the "spawn" keyword, or implicitly the call expression used to start the spawn.
* | | | Get object's captured typarams when querying for an object method's typarams ↵Roy Frostig2010-08-091-33/+61
| | | | | | | | | | | | | | | | in Trans. Together with commit 982dcc29bf6cd41e967a0befe0c6195811cd6a55 this... Closes #138.
* | | | Get object's captured typarams when calculating sizes in the backend's ↵Roy Frostig2010-08-097-80/+139
| | | | | | | | | | | | | | | | fn-prologue-generation for object methods.
* | | | Synthesize a flush_chan upcall right before a channel's ref_count drops to ↵Michael Bebenita2010-08-091-0/+20
| | | | | | | | | | | | | | | | zero. This should only happen in the Rust code and not in the drop glue, or on the unwind path. This change allows the task owning the channel to block on a flush and delete its own channel. This change also cleans up some code around rust_port and rust_chan.
* | | | Changed seemingly incorrect stk_field_valgrind_id.Michael Bebenita2010-08-091-1/+1
|/ / /
* | | 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-062-19/+59
| | | | | | | | | | | | | | | | | | | | | - 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
* | | Fix LLVM translation of modules.Jeffrey Yasskin2010-08-061-10/+29
| | |
* | | Accept uint literals as literal patterns.Roy Frostig2010-08-061-1/+4
| | |