about summary refs log tree commit diff
path: root/src/test/run-pass
AgeCommit message (Collapse)AuthorLines
2011-08-11Bring run-pass/spawn-module-qualified up to date and un-XFAILBrian Anderson-6/+6
2011-08-11Bring run-pass/task-killjoin up to date and un-XFAILBrian Anderson-12/+11
2011-08-11Fill out some of the run-pass/binops testsBrian Anderson-19/+20
Un-XFAIL, and just comment out and add a FIXME to the two cases that fail on linux. Closes #577. This still doesn't compare <, >, etc for channels, ports and tasks, but since they use pointer equality, that's a bit difficult to set up.
2011-08-11Update and un-XFAIL run-pass/many.rsBrian Anderson-11/+8
2011-08-10Test case for issue #812.Lindsey Kuper-0/+19
2011-08-09Actually perform handoff from caller to callee on move-mode args.Graydon Hoare-0/+12
2011-08-09test: XFAIL binops.rs for now due to mysterious tinderbox failure on LinuxPatrick Walton-0/+5
2011-08-09test: Update binops.rs with the new equality semanticsPatrick Walton-11/+7
2011-08-09Port the fuzzer and tests to ivec type [T] syntax.Erick Tryzelaar-4/+4
2011-08-09Move along; nothing to see here...Lindsey Kuper-0/+54
2011-08-09Un-XFAIL a test. Issue #435.Lindsey Kuper-4/+0
2011-08-09Update comments on sio-ctx testBrian Anderson-1/+1
2011-08-09Test case for issue #758.Lindsey Kuper-0/+11
2011-08-09XFAIL sio-ctxBrian Anderson-0/+5
Reportedly fails sometimes, probably when RUST_THREADS > 1
2011-08-09The self-stack stuff (from #702) also closes issue #718.Lindsey Kuper-4/+5
2011-08-09Change the ivec type syntax to [T].Erick Tryzelaar-25/+25
This preserves the old syntax for now.
2011-08-09Thread "self" through the stack. Backwarding! Closes #702.Lindsey Kuper-51/+5
2011-08-08Introduced task handles.unknown-11/+6
This is the new way to refer to tasks in rust-land. Currently all they do is serve as a key to look up the old rust_task structure. Ideally they won't be ref counted, but baby steps.
2011-08-08Add new arg-passing mode 'move' denoted with '-T'. Translate as ↵Graydon Hoare-0/+8
pass-by-value, doesn't deinit source yet nor get proper analysis in typestate, alias passes.
2011-08-08Using unsafe chan pointer idiom to make task-comm-16.rs pass again.Eric Holk-5/+5
2011-08-08Temporarily disabling chan test to put out linux fire.Eric Holk-1/+8
2011-08-08Converted the rest of the task-comm-* tests over. Also fixed someEric Holk-133/+166
channel lifecycle bugs.
2011-08-08Added an unsafe way to pass libchans over spawn and chans, and converted ↵Eric Holk-8/+17
task-comm-0 to use libcomm.
2011-08-05XFAIL sio-srvBrian Anderson-1/+5
Needs to run on loopback so it doesn't trigger windows firewall, but seems to be hanging. Giving up for now.
2011-08-05Un-XFAIL sio-ctx, sio-srvBrian Anderson-8/+0
Seem to work consistently
2011-08-05XFAIL all the sio testsBrian Anderson-0/+20
They have random failures still, sadly.
2011-08-05Basic async IO module using libuvRob Arnold-0/+100
2011-08-05(Almost) Always unify a function tail expr with the function result typeTim Chevalier-0/+11
typeck::check_fn had an exception for the case where the tail expr was compatible with type nil -- in that case, it doesn't unify the tail expr's type with the enclosing function's result type. This seems wrong to me. There are several test cases in Issue #719 that illustrate why. If the tail expr has type T, for some type variable T that isn't resolved when this check happens, then T never gets unified with anything, which is incorrect -- T should be unified with the result type of the enclosing function. (The bug was occurring because an unconstrained type variable is compatible with type nil.) Instead, I removed the check for type nil and added a check that the function isn't an iterator -- if it's an iterator, I don't check the tail expr's type against the function result type, as that wouldn't make sense. However, this broke two test cases, and after discussion with brson, I understood that the purpose of the check was to allow semicolons to be omitted in some cases. The whole thing seems rather ad hoc. But I came up with a hacky compromise solution: instead of checking whether the tailexpr type is *compatible* with nil, we now just check whether it *is* nil. This also necessitates calling resolve_type_vars_if_possible before the check happens, which worries me. But, this fixes the bug from Issue #719 without requiring changes to any test cases. Closes #719 but I didn't try every variation -- so reopen the bug if one of the variations still doesn't work.
2011-08-04Add a cleanup for copying closures. Closes #804.Michael Sullivan-0/+7
2011-08-04Don't force resolution of type variables until there is no enclosing ↵Michael Sullivan-0/+7
function scope. Closes #803.
2011-08-04Handle alt on a _|_ - typed valueTim Chevalier-0/+3
Return the result of the discriminant from trans_alt, rather than nil, in the _|_ case. This was breaking the enclosed test case (alt-bot-2) when optimization was disabled. Closes #769
2011-08-03Add #concat_idents[] and #ident_to_str[]Paul Stansifer-0/+8
2011-08-03Remove the last remaining xfail-boot directiveBrian Anderson-4/+0
2011-08-03Remove all xfail-stage0 directivesBrian Anderson-234/+0
While it is still technically possible to test stage 0, it is not part of any of the main testing rules and maintaining xfail-stage0 is a chore. Nobody should worry about how tests fare in stage0.
2011-08-03Un-xfail more pretty-printing testsBrian Anderson-3/+0
2011-08-03Pretty-print kinds of type paramsBrian Anderson-2/+0
2011-08-03Disambiguate unop statements in pretty-printer. Closes #674Brian Anderson-1/+0
2011-08-02Make _|_ type binopableTim Chevalier-0/+4
But don't actually generate code that does the operation. That means hoisting the check I added in my last commit from trans_compare up into trans_eager_binop (don't generate any code if one operand has type _|_ ). Closes #777
2011-08-02Remove task-comm-chan-chan testBrian Anderson-53/+0
This issue has a smaller test case in chan-leak.rs
2011-08-02Enable more tests that pretty-print correctly nowBrian Anderson-3/+0
2011-08-02Pretty-print fn constraints more correctishBrian Anderson-2/+0
2011-08-02Un-xfail run-pass/claim-nontermBrian Anderson-2/+0
Seems to work
2011-08-02Don't pp extra lines after block open when preserving whitespace. Closes #759Brian Anderson-4/+1
2011-08-02 In trans, don't assume both sides of a binop have the same typeTim Chevalier-0/+4
This was at least partially responsible for Issue 777. The only solution I can think of is for trans to just not generate code for a comparison if one or both sides has type _|_. Since that means evaluating that subexpression diverges, it should be ok to never do the comparison. Actually generating code for the comparison would trip an LLVM assertion failure.
2011-08-02Allow patterns of the form `[a, b, c ...] to be matched and transcribed.Paul Stansifer-9/+19
2011-08-02Add xfail-pretty directives to tests that don't pretty-print correctlyBrian Anderson-2/+19
Issue #789
2011-08-02Remove test/run-pass/simple-qsortBrian Anderson-23/+0
This is part of stdtest now
2011-08-02Copy locals created by destructuring on the content of a boxMarijn Haverbeke-0/+10
This is required so that assigning to these locals doesn't clobber the content of the box. (A possible optimization would be to only do this copying for locals that actually are assigned to.)
2011-08-01Started working on a library-based comm system. Creating and deleting ports ↵Eric Holk-0/+53
work.
2011-08-01Add tests for destructuring localsMarijn Haverbeke-0/+26
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 00:13:04 +0000