singletons-base-3.0: tests/compile-and-dump/Singletons/OverloadedStrings.hs

{-# LANGUAGE OverloadedStrings #-}
module OverloadedStrings where

import Data.Singletons.Base.TH
import GHC.TypeLits.Singletons

$(singletons
  [d| symId :: Symbol -> Symbol
      symId x = x

      foo :: Symbol
      foo = symId "foo"
    |])