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

{-# LANGUAGE OverloadedStrings #-}
module OverloadedStrings where

import Data.Singletons.TH
import Data.Singletons.TypeLits

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

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