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.

Sign up for GitHub

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

Jump to bottom

Confusing type error with regions/effects #7598

Open

JonathanStarup opened this issue Apr 17, 2024 · 0 comments

Contributor

JonathanStarup commented Apr 17, 2024

def example(rc: Region[r]): Int32 = {
    let _r = ref 42 @ rc;
    42
}

>> Unable to unify the effect formulas: 'r' and 'Pure'.

41 |     let _r = ref 42 @ rc;
                           ^^
                           mismatched effect formulas.

Type One: Region[r]
Type Two: Region[Pure]

The text was updated successfully, but these errors were encountered:

magnus-madsen changed the title ~~suboptimal type error~~ Confusing Type Error with Regions/Effects

magnus-madsen changed the title ~~Confusing Type Error with Regions/Effects~~ Confusing type error with regions/effects

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment