sweirich/replib

Issues

• build failure against ghc-8.10: Generics/RepLib/R.hs:91:11: error: Cannot instantiate unification variable ‘b0’...

  #49 opened 6 months ago by trofi
  1

• template-haskell dependency

  #48 opened 4 years ago by ibrahimsag
  4

• Show for bound needs space after the bound variables

  #40 opened 5 years ago by kyagrd
  3

• Bump containers upper bound to allow >= 0.6

  #47 opened 5 years ago by FranklinChen
  1

• upload RepLib that builds with newer template-haskell to hackage?

  #45 opened 6 years ago by chessai
  2

• AST with unbound + recussion schemes for transformations

  #43 opened 7 years ago by csabahruska
  5

• Please consider joining stackage

  #30 opened 8 years ago by nomeata
  12

• derive aeq directly instead of using match

  #12 opened 8 years ago by GoogleCodeExporter
  1

• derive_abstract breaks alpha equivalence

  #38 opened 8 years ago by enolan
  3

• `fresh` method misses `Rep a` constraint

  #36 opened 8 years ago by m0rphism
  1

• Failed to Build with GHC 8.0.1

  #34 opened 8 years ago by heades
  5

• Simulatenous unbound and substitute

  #33 opened 8 years ago by nomeata
  8

• Failed deriving for GADT

  #23 opened 9 years ago by GoogleCodeExporter
  0

• untrec has worse than O(n) complexity in number of binders -- linear time possible?

  #26 opened 9 years ago by GoogleCodeExporter
  2

• RepLib fails to build

  #32 opened 9 years ago by nomeata
  6

• New hackage release

  #31 opened 9 years ago by nomeata
  2

• Applying close over Shift at level 0 should not be an error.

  #28 opened 9 years ago by lambdageek
  1

• Parameterized type gives Template Haskell error

  #27 opened 9 years ago by GoogleCodeExporter
  3

• Impossible Sat instance

  #24 opened 9 years ago by GoogleCodeExporter
  0

• Variable capture when substituting in patterns

  #25 opened 9 years ago by GoogleCodeExporter
  0

• unsafeUnBind should be called unsafeUnbind

  #21 opened 9 years ago by GoogleCodeExporter
  1

• Patch for /trunk/tutorial/Tutorial.lhs

  #22 opened 9 years ago by GoogleCodeExporter
  1

• Implement LF as a more in-depth test case

  #20 opened 9 years ago by GoogleCodeExporter
  2

• Create real test suites

  #17 opened 9 years ago by GoogleCodeExporter
  0

• Add suport for existentials to RepLib

  #18 opened 9 years ago by GoogleCodeExporter
  0

• Fix copyright/license information

  #19 opened 9 years ago by GoogleCodeExporter
  2

• Multiple atom support

  #14 opened 9 years ago by GoogleCodeExporter
  1

• Can't import derived reps qualified by module name

  #15 opened 9 years ago by GoogleCodeExporter
  0

• Move from Data.* to Generics.*

  #16 opened 9 years ago by GoogleCodeExporter
  1

• Update behavior of match in Nominal.hs

  #13 opened 9 years ago by GoogleCodeExporter
  1

• Also derive alpha-respecting Ord instance

  #11 opened 9 years ago by GoogleCodeExporter
  2

• Add Read and Enum to Data.RepLib.PreludeLib

  #9 opened 9 years ago by GoogleCodeExporter
  1

• Add Read and Enum to Data.RepLib.PreludeLib

  #10 opened 9 years ago by GoogleCodeExporter
  1

• Add Read and Enum to Data.RepLib.PreludeLib

  #8 opened 9 years ago by GoogleCodeExporter
  2

• Free vars should return a set instead of a list?

  #7 opened 9 years ago by GoogleCodeExporter
  3

• Add representation of R type

  #5 opened 9 years ago by GoogleCodeExporter
  2

• Extend library with examples from other libs

  #6 opened 9 years ago by GoogleCodeExporter
  1

• Fixity declarations for cons and pairs?

  #3 opened 9 years ago by GoogleCodeExporter
  1

• Derive reps for datatypes with record components

  #4 opened 9 years ago by GoogleCodeExporter
  1

• Can derive reps for type abbreviations

  #2 opened 9 years ago by GoogleCodeExporter
  3

• Better story for abstract types

  #1 opened 9 years ago by GoogleCodeExporter
  3