Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Internal compiler error in instantiate #664

Closed
eholk opened this issue Jul 11, 2011 · 0 comments
Closed

Internal compiler error in instantiate #664

eholk opened this issue Jul 11, 2011 · 0 comments

Comments

@eholk
Copy link
Contributor

eholk commented Jul 11, 2011

It seems like this ought to compile...

    fn echo[T](chan[T] c, chan[chan[T]] oc) {
        auto p = port[T]();
        oc <| chan(p);

        auto x;
        p |> x;
        c <| x;
    }
@ghost ghost assigned catamorphism Jul 12, 2011
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
add poll constants to FreeBSD and DragonFly
pdietl pushed a commit to pdietl/rust that referenced this issue Apr 23, 2020
This is an update to correct for the places where the Oxford
comma is not used.
pdietl pushed a commit to pdietl/rust that referenced this issue Apr 23, 2020
ZuseZ4 added a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
This resolves rust-lang#664. I added an argument to rmc and cargo rmc (--tests) to
allow users to target test harnesses as their verification function.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants