about summary refs log tree commit diff
path: root/src/boot
AgeCommit message (Collapse)AuthorLines
2011-05-13Remove rustboot from the repository.Graydon Hoare-37391/+0
2011-05-02Un-revert "Use different syntax for checks that matter to typestate", fixing ↵Patrick Walton-0/+11
the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.
2011-05-02Revert "Use different syntax for checks that matter to typestate"Graydon Hoare-11/+0
This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.
2011-05-02Use different syntax for checks that matter to typestateTim Chevalier-0/+11
This giant commit changes the syntax of Rust to use "assert" for "check" expressions that didn't mean anything to the typestate system, and continue using "check" for checks that are used as part of typestate checking. Most of the changes are just replacing "check" with "assert" in test cases and rustc.
2011-04-28Fix nested patterns in rustbootTim Chevalier-16/+34
The code for taking pattern-bound variables was being interspersed with pattern code, so that if a nested pattern failed partway through, a variable would be taken but never dropped (because the drop code is inside the block representing the action for the pattern). For example, in the pattern foo(?i, bar(some[t](_)), _), if the scrutinee was foo(x, bar(none[t]), y), the variable i would be taken but never dropped. The patch fixes this bug.
2011-04-19Remove half-baked 'opacity' layer qualifier.Graydon Hoare-39/+2
2011-04-19Remove effect system from src.Graydon Hoare-464/+33
2011-04-19Overhaul logging system in runtimeMarijn Haverbeke-4/+4
See https://github.com/graydon/rust/wiki/Logging-vision The runtime logging categories are now treated in the same way as modules in compiled code. Each domain now has a log_lvl that can be used to restrict the logging from that domain (will be used to allow logging to be restricted to a single domain). Features dropped (can be brought back to life if there is interest): - Logger indentation - Multiple categories per log statement - I possibly broke some of the color code -- it confuses me
2011-04-19replace error logging with log_err in stdlib and rustcMarijn Haverbeke-2/+4
2011-04-19Add log_err to rustbootMarijn Haverbeke-11/+30
2011-04-08Disable effect checking in rustbootMarijn Haverbeke-3/+5
2011-04-02Change rust_vec to have a 16-byte header, to 16-byte-align vec-body data. ↵Graydon Hoare-6/+9
Major perf win.
2011-03-25Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare-38/+38
2011-03-25Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵Graydon Hoare-38/+38
build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c.
2011-03-25Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵Graydon Hoare-38/+38
off src root.
2011-03-24Improve error message when the lexer sees a bad characterTim Chevalier-1/+2
2011-03-18rustboot: Parse, and ignore, "mutable?"Patrick Walton-2/+14
2011-03-16Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. ↵Graydon Hoare-3/+1
Tweak std lib vec fns in process.
2011-03-11Switch rustboot from element-wise copying to take+drop+memcpy. Un-XFAIL ↵Graydon Hoare-101/+77
size-and-align.rs for rustc.
2011-03-10Fix seemingly un-noticed thinko in structural copying code in rustboot.Graydon Hoare-1/+1
2011-03-08Remove GC overspend; running out of memory on some tinderboxes.Graydon Hoare-5/+0
2011-03-05Make ret and fail stmts have 0 out-edges, Closes #250.Graydon Hoare-0/+5
2011-03-03Rewrite rustboot's flow-graph wiring passes to be less awful. Add test for ↵Graydon Hoare-248/+104
nested control-flow constructs.
2011-02-22Add ABI tagging to crates, adjust rustc output and runtime stack-frame setup ↵Graydon Hoare-12/+28
so access to argv works.
2011-02-10Revert EI_OSABI ELF header field back to 0 for LinuxBrian Anderson-1/+0
2011-02-09Re-indent a bit of elf.Graydon Hoare-10/+10
2011-02-09Add several 1-word .bss fragments for FreeBSD.Graydon Hoare-0/+21
2011-02-09Add .bss fragment support to elf.Graydon Hoare-3/+31
2011-02-09Adapt elf.ml to handle differences between Linux and FreeBSD.Rob Arnold-6/+20
2011-02-09Add FreeBSD_x86_elf target to rustbootRob Arnold-6/+29
2011-01-26Update various README files in the tree.Graydon Hoare-9/+9
2011-01-21Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵Graydon Hoare-34/+55
in trans.rs
2011-01-12Wrap long line.Graydon Hoare-2/+3
2011-01-12Guard a bunch more logging calls. Cut 10s off rustc compile time.Graydon Hoare-18/+31
2011-01-11Guard unguarded log calls that snuck in. Shave 5s off building rustc.Graydon Hoare-3/+5
2011-01-11Recursively genericize types and spread across glue. Saves 1mb size, 8s ↵Graydon Hoare-16/+38
compile time on rustc.
2011-01-11Out-of-line all drop glue. Shaves 50kb from rustc.Graydon Hoare-11/+1
2011-01-11Make rustboot fn/obj drops generic; cuts 300kb size, 10s compile time off rustc.Graydon Hoare-0/+16
2010-12-29More mopping up wrong-named rules in the Makefile.Graydon Hoare-0/+0
2010-12-29Remove LLVM rustboot backend.Graydon Hoare-1630/+0
2010-12-21rustboot: Only bottom out at opaque IL types after finding two cycles. DON'T ↵Patrick Walton-1/+8
ASK ME WHY THIS WORKS.
2010-12-13Syntax tweak: move 'mutable' from pseudo-ty-param on vec ctor to ↵Graydon Hoare-10/+20
low-precedence prefix inside paren.
2010-12-03Change 'stratum' to the friendlier term 'layer'.Graydon Hoare-100/+100
2010-12-01Add code to fail on non-exhaustive alt matching. Fix all cases this picked ↵Graydon Hoare-1/+8
up in rustc.
2010-11-29Change mutability into a type constructor.Graydon Hoare-0/+7
2010-11-19rustboot: Say when a binary operator is unimplemented rather than asserting ↵Patrick Walton-2/+7
in trans
2010-11-19Isolate while-header bug to minimal testcase, fix in rustboot, remove ↵Graydon Hoare-33/+70
workaround in rustc.
2010-11-18rustboot: Don't use walk to traverse statements in type.ml; fixes redundant ↵Patrick Walton-54/+59
checking, improves diagnostics. Also report untyped slots.
2010-11-16Update frame logic to be compatible with SysV x86 ABI. Improves diagnostics.Graydon Hoare-65/+111
2010-11-13Change PVAL_num to PVAL_int and remove non-int literal forms.Graydon Hoare-16/+14