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

Also check wellformedness of effects in namer #381

Merged

b-studios merged 1 commit into master from fix/issue281

Jan 28, 2024

Collaborator

b-studios commented Jan 28, 2024

Fixes #281 and also fixes #352 by inserting a single wellformedness check.


          Also check wellformedness of effects in namer

fe1bb3a

b-studios merged commit 536c0da into master

1 check passed

b-studios deleted the fix/issue281 branch

January 28, 2024 12:06

Collaborator Author

b-studios commented Jan 28, 2024

This resulted in a CI failure on master:

java.lang.AssertionError: assertion failed: Cannot add signature for interface twice: Exception
    at effekt.lifted.mono.FlowAnalysis.addInterface(Analyzer.scala:38)
    at effekt.lifted.mono.Analyzer$package$.analyze(Analyzer.scala:341)
    at effekt.lifted.mono.Analyzer$package$.analyze$$anonfun$1(Analyzer.scala:93)

Is this yet another flaky CI?

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