testsuite/tests/quotes/T17857.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE DeriveDataTypeable #-}
module T17857 where

import Data.Data
import Language.Haskell.TH.Syntax

data T = MkT deriving Data
instance Lift T where
  lift = liftData
  liftTyped = unsafeCodeCoerce . lift