singletons-1.0: tests/compile-and-dump/Singletons/Empty.ghc76.template

Singletons/Empty.hs:0:0: Splicing declarations
    singletons [d| data Empty |]
  ======>
    Singletons/Empty.hs:(0,0)-(0,0)
    data Empty
    type EmptyTyCtor = Empty
    type EmptyTyCtorSym0 = EmptyTyCtor
    data instance Sing (z :: Empty)
    type SEmpty (z :: Empty) = Sing z
    instance SingKind (KProxy :: KProxy Empty) where
      type instance DemoteRep (KProxy :: KProxy Empty) = Empty
      fromSing z
        = case z of {
            _ -> error "Empty case reached -- this should be impossible" }
      toSing z
        = case z of {
            _ -> error "Empty case reached -- this should be impossible" }