aboutsummaryrefslogtreecommitdiff
path: root/src/boot
Commit message (Collapse)AuthorAgeFilesLines
* Un-revert "Use different syntax for checks that matter to typestate", fixing ↵Patrick Walton2011-05-023-0/+11
| | | | | | the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.
* Revert "Use different syntax for checks that matter to typestate"Graydon Hoare2011-05-023-11/+0
| | | | This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.
* Use different syntax for checks that matter to typestateTim Chevalier2011-05-023-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.
* Fix nested patterns in rustbootTim Chevalier2011-04-281-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.
* Remove half-baked 'opacity' layer qualifier.Graydon Hoare2011-04-195-39/+2
|
* Remove effect system from src.Graydon Hoare2011-04-1912-464/+33
|
* Overhaul logging system in runtimeMarijn Haverbeke2011-04-191-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
* replace error logging with log_err in stdlib and rustcMarijn Haverbeke2011-04-191-2/+4
|
* Add log_err to rustbootMarijn Haverbeke2011-04-198-11/+30
|
* Disable effect checking in rustbootMarijn Haverbeke2011-04-081-3/+5
|
* Change rust_vec to have a 16-byte header, to 16-byte-align vec-body data. ↵Graydon Hoare2011-04-023-6/+9
| | | | Major perf win.
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-2538-38/+38
|
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵Graydon Hoare2011-03-2538-38/+38
| | | | | | 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-2538-38/+38
| | | | off src root.
* Improve error message when the lexer sees a bad characterTim Chevalier2011-03-241-1/+2
|
* rustboot: Parse, and ignore, "mutable?"Patrick Walton2011-03-181-2/+14
|
* Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. ↵Graydon Hoare2011-03-161-3/+1
| | | | Tweak std lib vec fns in process.
* Switch rustboot from element-wise copying to take+drop+memcpy. Un-XFAIL ↵Graydon Hoare2011-03-113-101/+77
| | | | size-and-align.rs for rustc.
* Fix seemingly un-noticed thinko in structural copying code in rustboot.Graydon Hoare2011-03-101-1/+1
|
* Remove GC overspend; running out of memory on some tinderboxes.Graydon Hoare2011-03-081-5/+0
|
* Make ret and fail stmts have 0 out-edges, Closes #250.Graydon Hoare2011-03-051-0/+5
|
* Rewrite rustboot's flow-graph wiring passes to be less awful. Add test for ↵Graydon Hoare2011-03-031-248/+104
| | | | nested control-flow constructs.
* Add ABI tagging to crates, adjust rustc output and runtime stack-frame setup ↵Graydon Hoare2011-02-223-12/+28
| | | | so access to argv works.
* Revert EI_OSABI ELF header field back to 0 for LinuxBrian Anderson2011-02-101-1/+0
|
* Re-indent a bit of elf.Graydon Hoare2011-02-091-10/+10
|
* Add several 1-word .bss fragments for FreeBSD.Graydon Hoare2011-02-091-0/+21
|
* Add .bss fragment support to elf.Graydon Hoare2011-02-091-3/+31
|
* Adapt elf.ml to handle differences between Linux and FreeBSD.Rob Arnold2011-02-091-6/+20
|
* Add FreeBSD_x86_elf target to rustbootRob Arnold2011-02-094-6/+29
|
* Update various README files in the tree.Graydon Hoare2011-01-261-9/+9
|
* Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵Graydon Hoare2011-01-211-34/+55
| | | | in trans.rs
* Wrap long line.Graydon Hoare2011-01-121-2/+3
|
* Guard a bunch more logging calls. Cut 10s off rustc compile time.Graydon Hoare2011-01-122-18/+31
|
* Guard unguarded log calls that snuck in. Shave 5s off building rustc.Graydon Hoare2011-01-111-3/+5
|
* Recursively genericize types and spread across glue. Saves 1mb size, 8s ↵Graydon Hoare2011-01-112-16/+38
| | | | compile time on rustc.
* Out-of-line all drop glue. Shaves 50kb from rustc.Graydon Hoare2011-01-111-11/+1
|
* Make rustboot fn/obj drops generic; cuts 300kb size, 10s compile time off rustc.Graydon Hoare2011-01-111-0/+16
|
* More mopping up wrong-named rules in the Makefile.Graydon Hoare2010-12-291-0/+0
|
* Remove LLVM rustboot backend.Graydon Hoare2010-12-296-1630/+0
|
* rustboot: Only bottom out at opaque IL types after finding two cycles. DON'T ↵Patrick Walton2010-12-212-1/+8
| | | | ASK ME WHY THIS WORKS.
* Syntax tweak: move 'mutable' from pseudo-ty-param on vec ctor to ↵Graydon Hoare2010-12-131-10/+20
| | | | low-precedence prefix inside paren.
* Change 'stratum' to the friendlier term 'layer'.Graydon Hoare2010-12-0311-100/+100
|
* Add code to fail on non-exhaustive alt matching. Fix all cases this picked ↵Graydon Hoare2010-12-011-1/+8
| | | | up in rustc.
* Change mutability into a type constructor.Graydon Hoare2010-11-291-0/+7
|
* rustboot: Say when a binary operator is unimplemented rather than asserting ↵Patrick Walton2010-11-191-2/+7
| | | | in trans
* Isolate while-header bug to minimal testcase, fix in rustboot, remove ↵Graydon Hoare2010-11-193-33/+70
| | | | workaround in rustc.
* rustboot: Don't use walk to traverse statements in type.ml; fixes redundant ↵Patrick Walton2010-11-181-54/+59
| | | | checking, improves diagnostics. Also report untyped slots.
* Update frame logic to be compatible with SysV x86 ABI. Improves diagnostics.Graydon Hoare2010-11-165-65/+111
|
* Change PVAL_num to PVAL_int and remove non-int literal forms.Graydon Hoare2010-11-131-16/+14
|
* Remove dead code in cexp.Graydon Hoare2010-11-131-1/+0
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 09:10:06 +0000