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

Singletons/Error.hs:(0,0)-(0,0): Splicing declarations
    singletons
      [d| head :: [a] -> a
          head (a : _) = a
          head [] = error "Data.Singletons.List.head: empty list" |]
  ======>
    head :: [a] -> a
    head (a : _) = a
    head [] = error "Data.Singletons.List.head: empty list"
    type HeadSym0 :: (~>) [a] a
    data HeadSym0 a0123456789876543210
      where
        HeadSym0KindInference :: SameKind (Apply HeadSym0 arg) (HeadSym1 arg) =>
                                 HeadSym0 a0123456789876543210
    type instance Apply HeadSym0 a0123456789876543210 = HeadSym1 a0123456789876543210
    instance SuppressUnusedWarnings HeadSym0 where
      suppressUnusedWarnings = snd (((,) HeadSym0KindInference) ())
    type HeadSym1 (a0123456789876543210 :: [a]) =
        Head a0123456789876543210 :: a
    type Head :: [a] -> a
    type family Head a where
      Head ('(:) a _) = a
      Head '[] = Apply ErrorSym0 "Data.Singletons.List.head: empty list"
    sHead ::
      forall a (t :: [a]). Sing t -> Sing (Apply HeadSym0 t :: a)
    sHead (SCons (sA :: Sing a) _) = sA
    sHead SNil
      = sError (sing :: Sing "Data.Singletons.List.head: empty list")
    instance SingI (HeadSym0 :: (~>) [a] a) where
      sing = (singFun1 @HeadSym0) sHead