Giter Site home page Giter Site logo

Comments (6)

BurntSushi avatar BurntSushi commented on August 11, 2024

Related: maybe it'd be worth fixing up http://www.rust-ci.org/BurntSushi/quickcheck ? Seems like it hasn't kicked off a new build in almost a year; it's not particularly clear on that page but on the main rust-ci.org page it claims it was unable to build and needs the owner to authenticate, or something along those lines.

I'm using travis, not rust-ci.org. I tried using rust-ci.org a while back, but it was slow and documentation hosting didn't work. So I moved away from it and didn't look back. What advantages does it have over Travis? (Keeping in mind that I've created a process for hosting docs myself.)

from quickcheck.

BurntSushi avatar BurntSushi commented on August 11, 2024

Unfortunately, the latest nightly for me is 6c065fc8c (Linux x64, built on 2015-02-18), which compiles QuickCheck. So I won't be able to fix it just yet.

I think that leaves you with two options: 1) rollback to older nightly (yuck) or 2) try your hand at fixing the errors. The lifetime errors don't look too pleasant, but e.g., you might try changing this:

impl<A: Arbitrary> Arbitrary for Option<A> {

to this:

impl<A: Arbitrary+'static> Arbitrary for Option<A> {

And my guess is that you'll have to do it for a lot of other impls too.

The other error (with std::thread::JoinGuard) can be fixed by replacing this code (on line tester.rs:446):

match t.scoped(fun).join()

with this code:

match t.scoped(fun).unwrap().join()

Unwrapping is bad form, but the docs say that an error occurs only if the OS can't create a thread. I'm OK with panic'ing in that case. (Or you can handle the error and convert it to a string, since the enclosing function safe returns a Result<T, String>. This is probably better.)

from quickcheck.

caspark avatar caspark commented on August 11, 2024

Maybe it was different when you tried it originally, but I was under the impression that rust-ci.org just kicks off the Travis build when there's a new rust nightly? (gleaned from the header at the top of rust-ci.org)

Strange, I'm also on 64 bit Linux and used curl -s https://static.rust-lang.org/rustup.sh | sudo sh to get the latest 3-4 hours ago or so, which downloaded from https://static.rust-lang.org/dist/rust-nightly-x86_64-unknown-linux-gnu.tar.gz. Surely that's a consistent nightly each day? Unless you meant you haven't updated recently, in which case: nevermind!

Thanks for the pointers to fixing the compile errors; I'll have another go at it tomorrow.

from quickcheck.

BurntSushi avatar BurntSushi commented on August 11, 2024

@caspark Oh, that's a neat benefit of rust-ci.org. If it was 6 months ago, I'd probably heed your advice, but we're getting to a point where breaking changes are settling down a lot. With beta around the corner, I'm just going to sit tight for now. :-) (I have to limit to number of things that can distract me! :P)

Weird about the nightly. I use Arch's AUR package rust-nightly-bin which I thought pulled directly from the same URL. In any case, if you wait until tomorrow, I will have hopefully fixed things by then. :-)

from quickcheck.

caspark avatar caspark commented on August 11, 2024

Looks like you beat me to fixing all the compile errors, so I'll close this :)

from quickcheck.

BurntSushi avatar BurntSushi commented on August 11, 2024

Yeah, it was quite a bit trickier than I thought. Required a bit of refactoring because of changes in the std::thread module. And some use of special phantom markers. Yikes!

from quickcheck.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.