Ecosyste.ms: Issues

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

GitHub / garyb/tap issues and pull requests

#28 - Make interpreter aware of native values and functions again

Issue - State: open - Opened by garyb over 11 years ago
Labels: bug, interpreter

#27 - `mgu` and `match` should compare `Forall`s structurally rather than by id

Issue - State: open - Opened by garyb over 11 years ago - 2 comments
Labels: bug, type system

#26 - Currently the syntax for class predicates only allows type variables

Issue - State: open - Opened by garyb over 11 years ago
Labels: enhancement, verifier, syntax

#25 - Remove the global mutable variables `lastForallId` and `tvId` in favour of some kind of state context object

Issue - State: open - Opened by garyb over 11 years ago
Labels: enhancement, type system

#24 - ProgramVerifier has all kinds of arbitrary hacks involving `Prelude` and the `->` type that need resolving

Issue - State: closed - Opened by garyb over 11 years ago - 1 comment
Labels: enhancement, verifier

#23 - Enhance AST/parser to allow more exact description of what to import

Issue - State: open - Opened by garyb over 11 years ago
Labels: enhancement, verifier

#22 - Disallow exporting of a module that was partially imported

Issue - State: open - Opened by garyb over 11 years ago
Labels: enhancement, verifier

#21 - Disallow shadowing of type variables in forall in explicit types

Issue - State: open - Opened by garyb over 11 years ago
Labels: enhancement, type system, verifier

#20 - Complete typeclass inlining test coverage

Issue - State: open - Opened by garyb over 11 years ago
Labels: tests

#19 - Complete module type inference test coverage

Issue - State: open - Opened by garyb over 11 years ago
Labels: tests

#18 - Complete module verifier test coverage

Issue - State: closed - Opened by garyb over 11 years ago - 1 comment
Labels: tests

#17 - Complete type inference test coverage

Issue - State: open - Opened by garyb over 11 years ago
Labels: tests

#16 - Allow typeclass members implementations to make use of additional qualified types from the definition

Issue - State: open - Opened by garyb over 11 years ago
Labels: bug, type system

#15 - Decide how to deal with modules that are partially imported and then exported

Issue - State: closed - Opened by garyb over 11 years ago - 2 comments
Labels: question

#14 - Warn or disallow incomplete matches

Issue - State: open - Opened by garyb over 11 years ago
Labels: enhancement, verifier

#13 - `newtype` definitions

Issue - State: open - Opened by garyb over 11 years ago - 1 comment
Labels: type system, new feature

#12 - Warn or disallow orphan instances

Issue - State: open - Opened by garyb over 11 years ago
Labels: enhancement, type system

#11 - Ensure all typeclass variables are reachable in the type of every class member definition

Issue - State: open - Opened by garyb over 11 years ago
Labels: enhancement, verifier

#10 - Typeclass functional dependencies

Issue - State: open - Opened by garyb over 11 years ago
Labels: type system, new feature

#9 - GADTs

Issue - State: open - Opened by garyb over 11 years ago
Labels: type system, new feature

#8 - Allow qualified types in forall?

Issue - State: closed - Opened by garyb over 11 years ago - 3 comments
Labels: question

#7 - Add a check to ensure data constructors and module member names do not overlap

Issue - State: open - Opened by garyb over 11 years ago
Labels: enhancement, verifier

#6 - Improve missing instance errors

Issue - State: open - Opened by garyb over 11 years ago
Labels: enhancement, type system

#4 - Binding group construction

Issue - State: closed - Opened by garyb over 11 years ago - 1 comment
Labels: bug, type system

#3 - Higher rank types in type inference

Issue - State: open - Opened by garyb over 11 years ago
Labels: bug, type system

#2 - Ensure accurate source location information is retained in the AST -> IR transformation

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

#1 - Add Var semantics to interpreter

Issue - State: closed - Opened by garyb over 11 years ago - 1 comment
Labels: enhancement, interpreter