aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me
Commit message (Collapse)AuthorAgeFilesLines
* 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 effect system from src.Graydon Hoare2011-04-194-392/+12
|
* 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-194-11/+14
|
* 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-022-5/+7
| | | | Major perf win.
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-2514-14/+14
|
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵Graydon Hoare2011-03-2514-14/+14
| | | | | | 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-2514-14/+14
| | | | off src root.
* 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-112-100/+76
| | | | size-and-align.rs for rustc.
* Fix seemingly un-noticed thinko in structural copying code in rustboot.Graydon Hoare2011-03-101-1/+1
|
* 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-221-0/+4
| | | | so access to argv works.
* 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
|
* rustboot: Only bottom out at opaque IL types after finding two cycles. DON'T ↵Patrick Walton2010-12-211-1/+1
| | | | ASK ME WHY THIS WORKS.
* Change 'stratum' to the friendlier term 'layer'.Graydon Hoare2010-12-033-44/+44
|
* 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-162-15/+26
|
* Redo the scheme for block context chaining and termination, to simplify and ↵Graydon Hoare2010-11-101-1/+2
| | | | support ret better.
* Support a special const-value refcount, use it for const strings.Graydon Hoare2010-11-091-15/+41
|
* Add a check for binding an alias. Good thing, as we had two instances in our ↵Graydon Hoare2010-11-081-0/+26
| | | | library.
* rustboot: Report the alias-ness of function parameters in type errorsPatrick Walton2010-11-051-1/+6
|
* rustboot: If something that wasn't a type was found where a type was ↵Patrick Walton2010-11-051-1/+1
| | | | expected, report where the error was
* rustboot: Report mismatched effect qualifiersPatrick Walton2010-11-051-2/+5
|
* rustboot: Report cyclic import errors at the right locationPatrick Walton2010-11-052-6/+9
|
* rustboot: Describe the cycle when reporting a cyclic import errorPatrick Walton2010-11-051-1/+10
|
* rustboot: When resolving recursively, build up error messages recursively as ↵Patrick Walton2010-11-031-25/+35
| | | | well
* rustboot: Say exactly which name was unbound when reporting unbound name errorsPatrick Walton2010-11-034-52/+73
|
* Shift obj, type, param decls to have strata rather than effects.Graydon Hoare2010-11-022-26/+51
|
* Split out stratum-checking pass, implement more-strict (overly aggressive) ↵Graydon Hoare2010-11-022-93/+142
| | | | impure-effect checking.
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-024-34/+47
|
* rustboot: Emit an error instead of asserting in trans when a T is passed by ↵Patrick Walton2010-10-281-1/+20
| | | | value
* Revert "rustboot: Emit an error instead of asserting in trans when a T is ↵Patrick Walton2010-10-281-20/+1
| | | | | | passed by value" due to test failures This reverts commit ee901858a27bf00c7dd66e7cfecb9dd97029dba8.
* rustboot: Emit an error instead of asserting in trans when a T is passed by ↵Patrick Walton2010-10-281-1/+20
| | | | value
* Emit a sensible error message if one or more of the parameters isn't enough ↵Patrick Walton2010-10-271-4/+9
| | | | context to instantiate a polymorphic function
* rustboot: Emit an error message instead of asserting on a type-param ↵Patrick Walton2010-10-272-6/+10
| | | | mismatch in tag constructors in patterns
* rustboot: For error reporting, map tag IDs to *tag* names, not to tag ↵Patrick Walton2010-10-261-4/+5
| | | | *variant* names