ekmett/reflection

Issues

• with ghc-9.10: Couldn't match expected type ‘ArgPat’ with actual type ‘Pat’

  #56 opened 8 months ago by jwaldmann
  7

• Make reify polykinded

  #34 opened 8 years ago by treeowl
  8

• Memory leak with `reifyTypeable`

  #54 opened a year ago by mniip
  5

• Use `withDict` for `reify` & co.

  #44 opened 6 years ago by int-e
  6

• Implement `(#.)` using `coerce` when possible

  #52 opened 3 years ago by RyanGlScott
  0

• Crash in test suite on macOS with GHC 9.0.2

  #51 opened 3 years ago by sternenseemann
  13

• "unreify" combinator

  #35 opened 8 years ago by mitchellwrosen
  1

• Wrong value is being 'give'n due to inlining

  #47 opened 5 years ago by neongreen
  3

• Can we get inlining with a skolem?

  #31 opened 8 years ago by treeowl
  5

• Reflecting multiple dicts simultaneously

  #43 opened 6 years ago by isovector
  3

• reifyNat: the internal rep of `KnownNat` is now `Natural`

  #41 opened 6 years ago by minoki
  3

• The link to the FP article seems to be a dead end

  #38 opened 7 years ago by SwiftsNamesake
  1

• Semigroup-Monoid-Proposal

  #39 opened 7 years ago by ggreif
  2

• Provide flipped ‘give’

  #36 opened 7 years ago by Icelandjack
  0

• How well do we skirt incoherence?

  #27 opened 9 years ago by treeowl
  5

• Re-export internal names

  #33 opened 8 years ago by wdanilo
  0

• reify Typeable and KnownNat at the same time

  #28 opened 9 years ago by ghorn
  1

• Typeable Reflection

  #14 opened 9 years ago by crockeea
  9

• It's possible to use a more minimalist Magic

  #26 opened 9 years ago by treeowl
  0

• Broken with GHC 7.0

  #24 opened 9 years ago by hvr
  8

• Absorb or take over reflection-extras

  #22 opened 9 years ago by rpglover64
  4

• can't reify Nat kinds

  #23 opened 9 years ago by ghorn
  8

• theres a ghc ticket on single method type class reps

  #8 opened 9 years ago by cartazio
  1

• The description looks awful on hackage.

  #21 opened 10 years ago by ekmett
  1

• Reflection does not install anymore under GHC 7.6.3

  #9 opened 12 years ago by adinapoli
  18

• Add `Given`?

  #6 opened 12 years ago by ekmett
  0

• Doesn't type check on GHC 7.7

  #5 opened 12 years ago by bgamari
  3