lrytz / efftp

lrytz/efftp Issues

Can This Plugin be Maintained?
Updated 10 years ago
Effect Annotations propagate incorrectly when the plugin is disabled
Updated 11 years ago
Lazy Vals get an effect annotation
Updated 11 years ago1
subclass of class with constructorEffect makes the plugin loop
Updated 11 years ago
Mask @mod(this) for constructors
Updated 11 years ago
should default arguments be pure by default?
Updated 11 years ago
local fields can alias each other
Updated 11 years ago
Purity Domain fails in REPL
Updated 11 years ago
support underscore in relative effects
Updated 11 years ago
relative effects in result type are not yet substituted
Updated 11 years ago
Explicit exception type parameters seem to Just Work - add tests
Updated 11 years ago
Effect annotations print with fully qualified name
Updated 11 years ago
Change Syntax for effect casts
Closed 11 years ago
Blend @pure and @rel together
Closed 11 years ago
Purity effects and pattern matching: define localities of pattern-bound variables
Updated 11 years ago
Spurious error creating anonymous class with mutable field
Updated 11 years ago
Distinguish between checked and unchecked exceptions
Updated 11 years ago
Better syntax for effect annotations on Function types
Updated 11 years ago
Changes to Scala syntax for better effect syntax
Updated 11 years ago
Synthetic code generation leads to effect annotations in terms
Updated 11 years ago
More precise mismatch error messages for polymorphic method invocations
Updated 11 years ago
Effect mismatch error on method invocation: show the latent effect of the function
Updated 11 years ago
Support external annotations for existing (and Java) libraries
Updated 11 years ago
implicit search influenced by effect annotations
Updated 11 years ago