packages feed

singletons-base-3.5: tests/compile-and-dump/Singletons/T342.golden

Singletons/T342.hs:(0,0)-(0,0): Splicing declarations
    do synName <- newName "MyId"
       a <- newName "a"
       let dsyn = DTySynD synName [DPlainTV a BndrReq] (DVarT a)
           syn = decToTH dsyn
       defuns <- withLocalDeclarations [syn] $ genDefunSymbols [synName]
       pure $ syn : defuns
  ======>
    type MyId a = a
    data MyIdSym0 a0123456789876543210
      where
        MyIdSym0KindInference :: SameKind (Apply MyIdSym0 arg) (MyIdSym1 arg) =>
                                 MyIdSym0 a0123456789876543210
    type instance Apply @_ @_ MyIdSym0 a0123456789876543210 = MyId a0123456789876543210
    instance SuppressUnusedWarnings MyIdSym0 where
      suppressUnusedWarnings = snd ((,) MyIdSym0KindInference ())
    type family MyIdSym1 a0123456789876543210 where
      MyIdSym1 a0123456789876543210 = MyId a0123456789876543210