Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / lrytz/efftp issues and pull requests

#25 - Can This Plugin be Maintained?

Issue - State: open - Opened by sirinath about 10 years ago

#25 - Can This Plugin be Maintained?

Issue - State: open - Opened by sirinath about 10 years ago

#24 - Fixed a typo

Pull Request - State: closed - Opened by xeno-by over 11 years ago - 1 comment

#23 - Effect Annotations propagate incorrectly when the plugin is disabled

Issue - State: open - Opened by lrytz over 11 years ago
Labels: compiler-interaction, grand-challenge

#23 - Effect Annotations propagate incorrectly when the plugin is disabled

Issue - State: open - Opened by lrytz over 11 years ago
Labels: compiler-interaction, grand-challenge

#22 - subclass of class with constructorEffect makes the plugin loop

Issue - State: open - Opened by lrytz over 11 years ago
Labels: bug

#21 - Mask @mod(this) for constructors

Issue - State: open - Opened by lrytz over 11 years ago
Labels: enhancement

#20 - should default arguments be pure by default?

Issue - State: open - Opened by lrytz over 11 years ago
Labels: enhancement

#19 - local fields can alias each other

Issue - State: open - Opened by lrytz over 11 years ago
Labels: bug, purity

#18 - Purity Domain fails in REPL

Issue - State: open - Opened by lrytz over 11 years ago
Labels: bug, purity

#17 - support underscore in relative effects

Issue - State: open - Opened by lrytz over 11 years ago
Labels: enhancement

#16 - relative effects in result type are not yet substituted

Issue - State: open - Opened by lrytz over 11 years ago
Labels: not-yet-implemented

#15 - Explicit exception type parameters seem to Just Work - add tests

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: testing

#14 - Effect annotations print with fully qualified name

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: enhancement

#13 - Spurious error creating anonymous class with mutable field

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: bug

#12 - Distinguish between checked and unchecked exceptions

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: not-yet-implemented

#11 - Better syntax for effect annotations on Function types

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: enhancement

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

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: bug, purity

#9 - Changes to Scala syntax for better effect syntax

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: enhancement

#8 - Blend @pure and @rel together

Issue - State: closed - Opened by lrytz almost 12 years ago
Labels: enhancement

#7 - Effect mismatch error on method invocation: show the latent effect of the function

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: enhancement

#6 - More precise mismatch error messages for polymorphic method invocations

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: enhancement

#5 - Change Syntax for effect casts

Issue - State: closed - Opened by lrytz almost 12 years ago
Labels: enhancement

#4 - Support external annotations for existing (and Java) libraries

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: grand-challenge

#3 - Synthetic code generation leads to effect annotations in terms

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: bug, compiler-interaction

#2 - Lazy Vals get an effect annotation

Issue - State: open - Opened by lrytz almost 12 years ago - 1 comment
Labels: enhancement

#1 - implicit search influenced by effect annotations

Issue - State: open - Opened by lrytz almost 12 years ago
Labels: bug, compiler-interaction