lrytz/efftp

Issues

• Can This Plugin be Maintained?

  #25 opened 10 years ago by sirinath
  0

• Effect Annotations propagate incorrectly when the plugin is disabled

  #23 opened 11 years ago by lrytz
  0

• Lazy Vals get an effect annotation

  #2 opened 12 years ago by lrytz
  1

• subclass of class with constructorEffect makes the plugin loop

  #22 opened 11 years ago by lrytz
  0

• Mask @mod(this) for constructors

  #21 opened 11 years ago by lrytz
  0

• should default arguments be pure by default?

  #20 opened 11 years ago by lrytz
  0

• local fields can alias each other

  #19 opened 11 years ago by lrytz
  0

• Purity Domain fails in REPL

  #18 opened 11 years ago by lrytz
  0

• support underscore in relative effects

  #17 opened 11 years ago by lrytz
  0

• relative effects in result type are not yet substituted

  #16 opened 11 years ago by lrytz
  0

• Explicit exception type parameters seem to Just Work - add tests

  #15 opened 11 years ago by lrytz
  0

• Effect annotations print with fully qualified name

  #14 opened 12 years ago by lrytz
  0

• Change Syntax for effect casts

  #5 opened 12 years ago by lrytz
  0

• Blend @pure and @rel together

  #8 opened 12 years ago by lrytz
  0

• Purity effects and pattern matching: define localities of pattern-bound variables

  #10 opened 12 years ago by lrytz
  0

• Spurious error creating anonymous class with mutable field

  #13 opened 12 years ago by lrytz
  0

• Distinguish between checked and unchecked exceptions

  #12 opened 12 years ago by lrytz
  0

• Better syntax for effect annotations on Function types

  #11 opened 12 years ago by lrytz
  0

• Changes to Scala syntax for better effect syntax

  #9 opened 12 years ago by lrytz
  0

• Synthetic code generation leads to effect annotations in terms

  #3 opened 12 years ago by lrytz
  0

• More precise mismatch error messages for polymorphic method invocations

  #6 opened 12 years ago by lrytz
  0

• Effect mismatch error on method invocation: show the latent effect of the function

  #7 opened 12 years ago by lrytz
  0

• Support external annotations for existing (and Java) libraries

  #4 opened 12 years ago by lrytz
  0

• implicit search influenced by effect annotations

  #1 opened 12 years ago by lrytz
  0