unbound-generics icon indicating copy to clipboard operation
unbound-generics copied to clipboard

Published 20 hours ago • verified publisher icon lambdageek

Copy tickets from Unbound's Google Code bug tracker.

Open lambdageek opened this issue 11 years ago • 1 comments

The RepLib/Unbound Google Code Issues List has a number of Enhancements and Defects that ought to be copied over here so that we can work on them.

lambdageek avatar Sep 25 '14 18:09 lambdageek

Open issues:

  • ~~3 - RepLib~~
  • ~~4 - RepLib~~
  • ~~6 - RepLib~~
  • ~~8 - RepLib~~
  • 11 - unbound - derive alpha-respecting Ord instance. (done?)
  • 12 - unbound - derive aeq directly instead of using match. (done?)
  • ~~15 - RepLib~~
  • 17 - unbound - create real test suites (in progress)
  • ~~18 - RepLib~~ (although GHC.Generics also doesn't support existentials)
  • ~~23 - RepLib~~ (although GHC.Generics also doesn't support GADTs)
  • 24 - need more info
  • ~~25 - copied to GitHub~~ #6
  • 26 - unbound - "untrec has worse than O(n) complexity in number of binders -- linear time possible?" (we don't have TRec yet, but seems like it would have the same problem)
  • ~~27 - RepLib~~

lambdageek avatar Oct 13 '14 14:10 lambdageek