]>
git.lizzy.rs Git - rust.git/log
Graydon Hoare [Sat, 7 Aug 2010 00:43:15 +0000 (17:43 -0700)]
Add Or to the AUTHORS file.
Or Brostovski [Fri, 6 Aug 2010 14:15:55 +0000 (17:15 +0300)]
Added forgotten handling for alt_type_else, and also for stmt_note
Or Brostovski [Fri, 6 Aug 2010 13:11:15 +0000 (16:11 +0300)]
Added AST pretty printing for slice expression
Or Brostovski [Thu, 5 Aug 2010 00:44:29 +0000 (03:44 +0300)]
Added AST logging, and modified AST for consistent handling of alt stmts.
- 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
Jeffrey Yasskin [Sun, 25 Jul 2010 07:36:03 +0000 (00:36 -0700)]
Implement _str.len() to return the number of bytes, rename it to byte_len(),
and add a test.
Jeffrey Yasskin [Sat, 24 Jul 2010 23:01:34 +0000 (16:01 -0700)]
Add an int->str conversion function.
The test currently fails because string equality isn't implemented.
Jeffrey Yasskin [Sat, 24 Jul 2010 19:33:29 +0000 (12:33 -0700)]
Change the destructor-ordering test to use channels instead of a shared mutable object.
This test used to take advantage of a hole in the type system that allows
objects with destructors to refer to stateful objects.
Jeffrey Yasskin [Sat, 24 Jul 2010 02:27:55 +0000 (19:27 -0700)]
Fix LLVM translation of modules.
Roy Frostig [Fri, 6 Aug 2010 22:48:23 +0000 (15:48 -0700)]
Redo yesterday's buf_writer-wrapper in a less silly and convoluted way. Add integer stringifying functions to _int module.
Roy Frostig [Fri, 6 Aug 2010 22:43:59 +0000 (15:43 -0700)]
Accept uint literals as literal patterns.
Graydon Hoare [Fri, 6 Aug 2010 00:44:35 +0000 (17:44 -0700)]
Degrade emitter size cache to just a flat hashtable with regular flushes (sigh) and re-introduce horrible bounce-off-spill hack for DIV, MUL, etc.
Graydon Hoare [Thu, 5 Aug 2010 20:26:28 +0000 (13:26 -0700)]
Something is wrong with the emitter size cache; disable for now, possibly put out flaming tinderboxes.
Patrick Walton [Thu, 5 Aug 2010 19:00:34 +0000 (12:00 -0700)]
Add a valgrind suppression for Snow Leopard dyld
Graydon Hoare [Thu, 5 Aug 2010 17:10:39 +0000 (10:10 -0700)]
Mop up workarounds in stdlib no longer required as issue #93 is closed.
Graydon Hoare [Thu, 5 Aug 2010 17:04:11 +0000 (10:04 -0700)]
Move 'as' precedence up to just above relational; support indexing str and vec by all integral types. Closes #94.
Roy Frostig [Thu, 5 Aug 2010 06:09:25 +0000 (23:09 -0700)]
Add to std._io some formatter/type-specific-writer mechanism. Make a few type-specific buffered writers as wrappers of buf_writer.
Graydon Hoare [Thu, 5 Aug 2010 00:50:57 +0000 (17:50 -0700)]
Thread argument-types down to internal_check_outer_lval in type.ml, in preparation for trying to infer type params from call args.
Roy Frostig [Thu, 5 Aug 2010 00:14:11 +0000 (17:14 -0700)]
Add per-platform file-open flags to std.os. Open buffers as desired in std._io.
Graydon Hoare [Wed, 4 Aug 2010 22:29:59 +0000 (15:29 -0700)]
Add a CHECK_XFAILS target that inverts the sense of check: it tries to compile and run the tests marked as XFAILs.
Graydon Hoare [Wed, 4 Aug 2010 20:44:09 +0000 (13:44 -0700)]
Fix pexp parser to do left-associativity, not right. Closes #130.
Roy Frostig [Wed, 4 Aug 2010 19:59:48 +0000 (12:59 -0700)]
Add a buffered writer to stdlib _io module.
Roy Frostig [Wed, 4 Aug 2010 18:24:09 +0000 (11:24 -0700)]
Address _io.new_buf FIXME now that issue #93 is closed.
Graydon Hoare [Wed, 4 Aug 2010 07:37:25 +0000 (00:37 -0700)]
Bah. xfail arithmetic-interference for now; linux tinderbox is burning on it and it's late.
Graydon Hoare [Wed, 4 Aug 2010 07:27:36 +0000 (00:27 -0700)]
Kill the preallocator, install a sane replacement. Closes #131. And probably a lot of others.
Graydon Hoare [Wed, 4 Aug 2010 02:02:09 +0000 (19:02 -0700)]
Merge branch 'master' of git@github.com:graydon/rust
Graydon Hoare [Wed, 4 Aug 2010 01:59:26 +0000 (18:59 -0700)]
Factor append_quad out of IL.emit_full, for use elsewhere.
Roy Frostig [Wed, 4 Aug 2010 01:57:44 +0000 (18:57 -0700)]
Have hashmap's insert method overwrite on existing-key insertion and return true iff overwrite did not occur.
Graydon Hoare [Wed, 4 Aug 2010 01:52:49 +0000 (18:52 -0700)]
Remove dead implicit-destinations logic from IL.
Roy Frostig [Wed, 4 Aug 2010 01:43:57 +0000 (18:43 -0700)]
More stdlib hashmap work. Add a simple test and XFAIL it due to a valgrind-spotted UMR.
Roy Frostig [Wed, 4 Aug 2010 01:18:19 +0000 (18:18 -0700)]
Address _vec.map allocation FIXME. Add test.
Roy Frostig [Wed, 4 Aug 2010 01:10:18 +0000 (18:10 -0700)]
Address _vec.grow FIXME, as issue #89 has been closed.
Roy Frostig [Wed, 4 Aug 2010 01:06:31 +0000 (18:06 -0700)]
Pass parametric types by-alias in various stdlib spots.
Roy Frostig [Wed, 4 Aug 2010 00:52:35 +0000 (17:52 -0700)]
More stdlib hashmap bits (plus some drive-by extras).
Roy Frostig [Wed, 4 Aug 2010 00:42:22 +0000 (17:42 -0700)]
Avoid mem cmp mem in trans even though it's an X86ism becase we don't always catch it later on.
Graydon Hoare [Tue, 3 Aug 2010 23:28:50 +0000 (16:28 -0700)]
Fix some naughtiness of handling newlines in bracequotes and multi-line comments. Closes #142.
Graydon Hoare [Tue, 3 Aug 2010 19:20:29 +0000 (12:20 -0700)]
Add tests and fix pexp bug. Closes #141.
Patrick Walton [Mon, 2 Aug 2010 20:26:35 +0000 (13:26 -0700)]
Use a better heuristic to determine whether we're on a Mac, issue 69
Graydon Hoare [Sat, 31 Jul 2010 02:14:42 +0000 (19:14 -0700)]
Patch up another place where the newly-expanded 'closure-ptr' implicit arg needs to be passed. Amazingly, it mostly-worked without this. On some platforms.
Graydon Hoare [Thu, 29 Jul 2010 23:04:38 +0000 (16:04 -0700)]
Merge branch 'master' of git@github.com:graydon/rust
Graydon Hoare [Thu, 29 Jul 2010 23:04:22 +0000 (16:04 -0700)]
Make note of new literal forms in docs.
Graydon Hoare [Thu, 29 Jul 2010 19:47:37 +0000 (12:47 -0700)]
XFAIL all task-related tests for now; yesterday's work on notification proxies broke inter-task shutdown.
Graydon Hoare [Thu, 29 Jul 2010 17:41:22 +0000 (10:41 -0700)]
Log join-wait count under rust_log::TASK bits, not ::ALL.
Michael Bebenita [Wed, 28 Jul 2010 23:58:17 +0000 (16:58 -0700)]
Add a bunch of comm tests.
Michael Bebenita [Wed, 28 Jul 2010 23:57:58 +0000 (16:57 -0700)]
Log dead tasks when dom is just waiting for refcounts to drop.
Michael Bebenita [Wed, 28 Jul 2010 23:49:16 +0000 (16:49 -0700)]
Note that we keep running the main loop until all task refcounts are zero.
Michael Bebenita [Wed, 28 Jul 2010 23:48:34 +0000 (16:48 -0700)]
Add some missing headers to the Makefile's RUNTIME_HDR list.
Michael Bebenita [Wed, 28 Jul 2010 23:46:13 +0000 (16:46 -0700)]
Move ports out into their own file, add data_message and make communication system use it (and proxies) instead of existing token scheme.
Michael Bebenita [Wed, 28 Jul 2010 23:24:50 +0000 (16:24 -0700)]
Move notification-messages out into their own file and unify into notify_message, make them use proxies, cache task proxies in dom.
Michael Bebenita [Wed, 28 Jul 2010 22:17:30 +0000 (15:17 -0700)]
Rename rust_proxy_delegate to maybe_proxy, flesh out logic in it. Add strong-ref distinction on rust_proxy.
Michael Bebenita [Wed, 28 Jul 2010 21:53:08 +0000 (14:53 -0700)]
Add rust_dom::log_state, for logging the running/blocked/dead vectors per scheduling iteration.
Michael Bebenita [Wed, 28 Jul 2010 21:45:44 +0000 (14:45 -0700)]
Null rust_task::cond on wakeup, add asserts and logging to block/wakeup.
Michael Bebenita [Wed, 28 Jul 2010 07:40:45 +0000 (00:40 -0700)]
Teach task_owned and dom_owned to find their dom via consistent interface.
Michael Bebenita [Wed, 28 Jul 2010 07:36:35 +0000 (00:36 -0700)]
Add modeline / file-local emacs var blocks.
Michael Bebenita [Wed, 28 Jul 2010 07:34:28 +0000 (00:34 -0700)]
Move rust_cond.
Michael Bebenita [Wed, 28 Jul 2010 19:36:59 +0000 (12:36 -0700)]
Fix typos in comments, delete obsolete comments and dead commented code.
Michael Bebenita [Wed, 28 Jul 2010 07:11:28 +0000 (00:11 -0700)]
Wrap long lines.
Michael Bebenita [Wed, 28 Jul 2010 07:06:04 +0000 (00:06 -0700)]
Add C++ wrapper around uthash.
Michael Bebenita [Wed, 28 Jul 2010 07:03:47 +0000 (00:03 -0700)]
Let circular buffers actually grow to max sz, reset _next when resizing.
Michael Bebenita [Wed, 28 Jul 2010 07:02:00 +0000 (00:02 -0700)]
Change unread-on-destroy condition for circular buffer to merely a warning.
Michael Bebenita [Wed, 28 Jul 2010 07:01:31 +0000 (00:01 -0700)]
Add comment explaining NULL case in circular_buffer::enqueue and add logging to ::dequeue.
Michael Bebenita [Wed, 28 Jul 2010 07:01:06 +0000 (00:01 -0700)]
Add peek method to circular buffer.
Michael Bebenita [Wed, 28 Jul 2010 06:51:04 +0000 (23:51 -0700)]
Change _unit_sz to unit_sz and make public in circular_buffer.
Michael Bebenita [Wed, 28 Jul 2010 06:38:16 +0000 (23:38 -0700)]
Make circular buffer use only power-of-two sizes, cheaper arithmetic.
Michael Bebenita [Wed, 28 Jul 2010 06:13:33 +0000 (23:13 -0700)]
Add a warning interface to rust_srv.
Michael Bebenita [Wed, 28 Jul 2010 06:10:31 +0000 (23:10 -0700)]
Move allocation-tracking into rust_srv.
Michael Bebenita [Wed, 28 Jul 2010 06:07:27 +0000 (23:07 -0700)]
Log a separator when logging switches between threads.
Michael Bebenita [Wed, 28 Jul 2010 06:05:13 +0000 (23:05 -0700)]
array_list improvements.
Roy Frostig [Thu, 29 Jul 2010 01:14:33 +0000 (18:14 -0700)]
Another deque test commented out.
Roy Frostig [Thu, 29 Jul 2010 00:50:07 +0000 (17:50 -0700)]
Burn the mac and win trees less. Deque test is XFAILed, despite doing fine on Linux.
Roy Frostig [Thu, 29 Jul 2010 00:31:41 +0000 (17:31 -0700)]
Test the deque some more.
Roy Frostig [Wed, 28 Jul 2010 23:34:22 +0000 (16:34 -0700)]
Test the deque more and fix uncovered off-by-one bug.
Roy Frostig [Wed, 28 Jul 2010 22:04:58 +0000 (15:04 -0700)]
Get slots in trans_tag using Semant tables. Closes #133.
Roy Frostig [Wed, 28 Jul 2010 21:11:56 +0000 (14:11 -0700)]
Refer to issue #136 at the offending source point.
Roy Frostig [Wed, 28 Jul 2010 21:00:44 +0000 (14:00 -0700)]
Test the deque a bit. Give it a get-by-index method. Fix two uncovered state-calculation bugs --- one decently, the other with an ugly hack. Bug on the latter coming right up.
Graydon Hoare [Wed, 28 Jul 2010 02:21:51 +0000 (19:21 -0700)]
Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as a cast notation. Closes #129.
Graydon Hoare [Wed, 28 Jul 2010 00:23:41 +0000 (17:23 -0700)]
Calm some LLVM indigestion of last change.
Graydon Hoare [Tue, 27 Jul 2010 18:19:43 +0000 (11:19 -0700)]
Distill semantics of use-def maps to fewer and more-obvious words.
- Remove redundant uses of 'resolve' and 'referent' in semant.
- Use defn, defn_id, lval, lval_base more consistently.
- Make associated query functions more consistent.
- Closes #127.
Graydon Hoare [Mon, 26 Jul 2010 23:55:11 +0000 (16:55 -0700)]
Slight shaving on RA, no more optimizing today. It's fast enough for now.
Roy Frostig [Mon, 26 Jul 2010 22:52:59 +0000 (15:52 -0700)]
Adjust testcase to cover issue #91, which was actually fixed back in commit
f02f9cbf29c2fdc28baeaa5a25671d9be29d6eab . Closes #91.
Graydon Hoare [Mon, 26 Jul 2010 22:44:18 +0000 (15:44 -0700)]
Fix numerous non-linearities and O(sizeof(crate)) issues in typestate system's dataflow algorithm. No longer substantial in profile.
Patrick Walton [Mon, 26 Jul 2010 22:20:13 +0000 (15:20 -0700)]
Move the test suite to the "as" form for casts. XFAIL a few tests for LLVM.
Graydon Hoare [Mon, 26 Jul 2010 19:31:43 +0000 (12:31 -0700)]
Note the typestate dataflow timing. The culprit is revealed.
Graydon Hoare [Mon, 26 Jul 2010 19:31:08 +0000 (12:31 -0700)]
Add a cumulative timer count to be sure we're getting everything.
Graydon Hoare [Mon, 26 Jul 2010 19:30:43 +0000 (12:30 -0700)]
Change ctxt_crate_main to an Ast.name.
Graydon Hoare [Mon, 26 Jul 2010 19:30:02 +0000 (12:30 -0700)]
Do some more iflog-guarding.
Roy Frostig [Mon, 26 Jul 2010 05:21:07 +0000 (22:21 -0700)]
vec_alloc takes four arguments these days, not three.
Roy Frostig [Mon, 26 Jul 2010 05:07:21 +0000 (22:07 -0700)]
Attempt 2. This time actually reading my own diffs before committing.
Roy Frostig [Mon, 26 Jul 2010 05:05:39 +0000 (22:05 -0700)]
Attempt number 1 at extinguishing the windows tree remotely (apologies to those hacking on Sunday evening PST).
Roy Frostig [Mon, 26 Jul 2010 04:45:09 +0000 (21:45 -0700)]
Expose an RNG (the one used by our runtime) to Rust via std.
Roy Frostig [Mon, 26 Jul 2010 04:27:28 +0000 (21:27 -0700)]
Don't write to NULL after calling C natives returning void.
Graydon Hoare [Fri, 23 Jul 2010 22:38:34 +0000 (15:38 -0700)]
Another quick fix from jmuizelaar for that "some ocaml versions dont't notice wrong wildcard count in patterns" bug.
Graydon Hoare [Fri, 23 Jul 2010 22:29:17 +0000 (15:29 -0700)]
Improve mutability checking. Closes #118.
Graydon Hoare [Fri, 23 Jul 2010 20:52:46 +0000 (13:52 -0700)]
Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus fix in typestate system.
Graydon Hoare [Fri, 23 Jul 2010 20:51:56 +0000 (13:51 -0700)]
Stop using project_lval_ty_from_slot for lval_ty; cover residual un-caught cases in type.ml.
Graydon Hoare [Fri, 23 Jul 2010 20:51:17 +0000 (13:51 -0700)]
Widen write mutability check to cover all writing stmts.
Graydon Hoare [Fri, 23 Jul 2010 19:32:12 +0000 (12:32 -0700)]
Modify testcase to match new syntax and un-XFAIL mutable-vec-drop.rs.
Graydon Hoare [Fri, 23 Jul 2010 19:22:31 +0000 (12:22 -0700)]
Two more testcases for overwriting already-live box-like fields in structures, without leaking.
Graydon Hoare [Fri, 23 Jul 2010 19:21:06 +0000 (12:21 -0700)]
Include all lval-writing statements in stmt_is_init calculation, not just "copy-like". Un-XFAIL generic-tag-alt.rs
Graydon Hoare [Fri, 23 Jul 2010 19:20:20 +0000 (12:20 -0700)]
Add pretty-printing for alt-tag statements.
Graydon Hoare [Fri, 23 Jul 2010 18:37:38 +0000 (11:37 -0700)]
Rename STMT_init_* to STMT_new_*; former name was confusing.