packages feed

singletons-2.7: tests/compile-and-dump/Singletons/T402.golden

Singletons/T402.hs:0:0:: Splicing declarations
    singletons [d| type AnyOfKind (k :: Type) = Any :: k |]
  ======>
    type AnyOfKind (k :: Type) = Any :: k
    data AnyOfKindSym0 :: (~>) Type k0123456789876543210
      where
        AnyOfKindSym0KindInference :: SameKind (Apply AnyOfKindSym0 arg) (AnyOfKindSym1 arg) =>
                                      AnyOfKindSym0 k0123456789876543210
    type instance Apply AnyOfKindSym0 k0123456789876543210 = AnyOfKindSym1 k0123456789876543210
    instance SuppressUnusedWarnings AnyOfKindSym0 where
      suppressUnusedWarnings = snd (((,) AnyOfKindSym0KindInference) ())
    type AnyOfKindSym1 (k0123456789876543210 :: Type) =
        AnyOfKind k0123456789876543210 :: k0123456789876543210