Skip to content

Issues: lrytz/efftp

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

22 Open 2 Closed
22 Open 2 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Can This Plugin be Maintained?
#25 opened Feb 9, 2015 by sirinath
Effect Annotations propagate incorrectly when the plugin is disabled compiler-interaction grand-challenge
#23 opened Jun 26, 2013 by lrytz
subclass of class with constructorEffect makes the plugin loop bug
#22 opened Jun 19, 2013 by lrytz
Mask @mod(this) for constructors enhancement
#21 opened Jun 19, 2013 by lrytz
should default arguments be pure by default? enhancement
#20 opened Jun 17, 2013 by lrytz
local fields can alias each other bug purity
#19 opened Jun 10, 2013 by lrytz
Purity Domain fails in REPL bug purity
#18 opened Jun 3, 2013 by lrytz
support underscore in relative effects enhancement
#17 opened May 29, 2013 by lrytz
relative effects in result type are not yet substituted not-yet-implemented
#16 opened May 28, 2013 by lrytz
Explicit exception type parameters seem to Just Work - add tests testing
#15 opened May 17, 2013 by lrytz
Effect annotations print with fully qualified name enhancement
#14 opened May 14, 2013 by lrytz
Spurious error creating anonymous class with mutable field bug
#13 opened May 10, 2013 by lrytz
Distinguish between checked and unchecked exceptions not-yet-implemented
#12 opened May 10, 2013 by lrytz
Better syntax for effect annotations on Function types enhancement
#11 opened May 10, 2013 by lrytz
Purity effects and pattern matching: define localities of pattern-bound variables bug purity
#10 opened May 10, 2013 by lrytz
Changes to Scala syntax for better effect syntax enhancement
#9 opened May 10, 2013 by lrytz
Effect mismatch error on method invocation: show the latent effect of the function enhancement
#7 opened May 10, 2013 by lrytz
More precise mismatch error messages for polymorphic method invocations enhancement
#6 opened May 10, 2013 by lrytz
Support external annotations for existing (and Java) libraries grand-challenge
#4 opened May 10, 2013 by lrytz
Synthetic code generation leads to effect annotations in terms bug compiler-interaction
#3 opened May 9, 2013 by lrytz
Lazy Vals get an effect annotation enhancement
#2 opened May 9, 2013 by lrytz
1
implicit search influenced by effect annotations bug compiler-interaction
#1 opened May 9, 2013 by lrytz
ProTip! Updated in the last three days: updated:>2025-01-24.