mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
10,242 Commits 2 Branches 0 Tags 1.4 GiB
cba77ffbfa
Commit Graph

10242 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Brian Anderson
846dfbc922 build: Use snapshot core 2012-05-30 21:23:34 -07:00
Brian Anderson
178c5cc4a3 rt: Add yet another allocating upcall 
upcall_exchange_malloc_dyn, for allocating unique boxes for types that don't
have a fixed size.
 2012-05-30 21:23:34 -07:00
Brian Anderson
c6a23cddfb rustc: Make unique closures use the new unique allocator 2012-05-30 21:23:34 -07:00
Brian Anderson
654f7e3086 rustc: Make unique boxes self-describing 2012-05-30 21:23:34 -07:00
Brian Anderson
429f7e9e08 build: Use snapshot runtime 2012-05-30 21:23:34 -07:00
Brian Anderson
45933ca485 rustc: Add some methods for trans for mallocing uniques 2012-05-30 21:23:34 -07:00
Brian Anderson
508ccca014 rt: Add upcall_exchange_malloc/free 2012-05-30 21:23:33 -07:00
Brian Anderson
6d37c90ce6 rustc: Remove tuplify_cbox_ty. Unused 2012-05-30 21:23:33 -07:00
Brian Anderson
02dde781eb rustc: Don't typestate fns that don't have constrained function calls 2012-05-30 17:48:05 -07:00
Brian Anderson
6b4cf00552 test: Add an error pattern to small-negative-indexing 2012-05-30 17:48:05 -07:00
Eric Holk
ad292a8c73 Add xorshift to core::rand, which gave a 3x speedup for graph generation in the bfs code. Also, remove trailing white space. 2012-05-30 17:39:53 -07:00
Eric Holk
09a32aedb5 Remove warnings in std::par. 2012-05-30 17:39:53 -07:00
Eric Holk
58fdbdc4ef Avoid some more copies. 2012-05-30 17:39:53 -07:00
Eric Holk
f0c345841c Added a factory version of par::mapi, which avoids the need for share_arc, and copies arcs between tasks better. 2012-05-30 17:39:53 -07:00
Eric Holk
f05040f17a Use std::deque now that the bugs are fixed. Also, avoid a few copies. 2012-05-30 17:39:53 -07:00
Michael Sullivan
e5757923cd Add a test for that last bug. Oops. 2012-05-30 17:12:50 -07:00
Michael Sullivan
ea8d4d7f17 Properly sign extend array indexes. Closes #2468. 2012-05-30 17:09:52 -07:00
Michael Sullivan
1eebb1fe87 Add a test for the just closed issue #2426. 2012-05-30 16:02:48 -07:00
Michael Sullivan
7fee392de5 Handle differing signedness in constant shifts. Closes #2426. 2012-05-30 15:03:24 -07:00
Eric Holk
ccb54f0ce0 Move par into libstd. Closes #2441. 2012-05-30 12:03:51 -07:00
Eric Holk
f5554db734 Adding xfail-fast, since multi-crate tests don't work on Windows. 2012-05-30 12:03:51 -07:00
Eric Holk
07830612fd Adding a test to make sure CCI works with capture clauses. 2012-05-30 12:03:51 -07:00
Eric Holk
f49b891ce5 Include capture clauses when generating metadata. 
This may fix the bug that's blocking Issue #2441.
 2012-05-30 12:03:51 -07:00
Eric Holk
6abddca18b Rewriting shared_arc to work around Issue #2444. 
Sadly, this exposes another ICE when trying to use the new version with Graph500
 2012-05-30 12:03:51 -07:00
Niko Matsakis
dca11e1f99 test our some of the various combinations of fn subtyping 2012-05-30 12:02:01 -07:00
Niko Matsakis
5b8abec92f test for pure fn vs impure fn etc subtyping 2012-05-30 11:56:50 -07:00
Niko Matsakis
6dc4bc517a test for troublesome case where preserve was freeing uninitialized memory 2012-05-30 11:26:15 -07:00
Niko Matsakis
862976c267 avoid modifying variable we are alting over 2012-05-30 11:26:15 -07:00
Niko Matsakis
1f4b3cfc36 zero out alloca for preserving values 
conservatively do it always for now
 2012-05-30 11:26:15 -07:00
Niko Matsakis
555492e427 port alt to dvec 2012-05-30 11:26:15 -07:00
Niko Matsakis
79b3dedac3 allow for loop bodies 2012-05-30 11:26:15 -07:00
Niko Matsakis
653a1f8781 integrate purity into type 2012-05-30 11:26:15 -07:00
Niko Matsakis
22a10f0e4a refactor region manip. to remove redundancy, get closer to fn subtyping 
also: remove "auto-mode-matching" for implemented interfaces, as it
is complex and interacts poorly with classes

cc #2263
 2012-05-30 11:04:12 -07:00
Niko Matsakis
e4694ca519 add a test that types w/ def_ids compare just fine to types w/o def_ids 
this is not clearly going to work due to monomorphization, which convverts
each enum<T> to a distinct "type" from POV of the shape code
 2012-05-30 11:04:12 -07:00
Niko Matsakis
e6b9db0884 refactor region manipulation routines to eliminate duplication 
fn subtyping is starting to work, but it's exposing bugs in the
code which checks for iface conformance, which doesn't properly
skolemize the self region
 2012-05-30 11:04:12 -07:00
Michael Sullivan
b744f52620 Make heap closures always require a capture clause to capture mutable variables. Closes #2446. 2012-05-30 10:46:22 -07:00
Brian Anderson
736ff34e8a rustc: Move filesearch into metadata mod 
It's not that related to metadata, but metadata needs it and it will
probably be useful for doing dynamic loading.
 2012-05-29 20:38:49 -07:00
Tim Chevalier
3f3c9caf4d Handle poststates of breaking loops correctly in typestate 
The poststate should be one where all predicates are assumed false,
rather than the unchanged prestate.

Closes #2374
 2012-05-29 18:22:38 -07:00
Tim Chevalier
b30daa6eef Test case for issue 2380 2012-05-29 17:05:17 -07:00
Tim Chevalier
8d7765be82 Resolve bounds in iface types 
Closes #2311
 2012-05-29 16:50:21 -07:00
Niko Matsakis
f90228b8a8 make all arguments modes immutable 
note: you can still move from copy/move mode args
 2012-05-29 16:22:17 -07:00
Niko Matsakis
47375439ed remove useless invocations of universally_quantify_from_sty() in method lookup 2012-05-29 16:20:54 -07:00
Niko Matsakis
37b78b48e3 modify shape code to only emit monomorphized enums (#2444) 
this is hacky, but shape code is going away anyway and I didn't
want to invest too much effort into it
 2012-05-29 15:12:36 -07:00
Tim Chevalier
ccc7651b48 In reachability, don't ignore nested items 
Reachability was considering nested items to be unreachable, which
was causing the bug in #2383. Once I fixed that, I also had to make
impl::make_impl_vtable instantiate methods where necessary, before
calling monomorphic_fn.

Closes #2383
 2012-05-29 14:40:35 -07:00
Brian Anderson
730e8e9310 Register snapshots 2012-05-29 14:20:11 -07:00
Lindsey Kuper
47cba3a107 tutorial: Consistent metavariable for types. Closes #2461. 2012-05-29 13:11:55 -07:00
Lindsey Kuper
3891b5a569 tutorial: Minor cleanup. 2012-05-29 13:11:55 -07:00
Michael Sullivan
5d1c29912d Fix an error message to not refer to "block type". Closes #2423. 2012-05-29 12:18:59 -07:00
Michael Sullivan
98766e388e Fix the maximum value of i16. Closes #2462. 2012-05-29 12:18:59 -07:00
Eric Holk
5e35d49a50 Moving the arc tests into arc.rs. 2012-05-29 11:30:10 -07:00