testsuite/tests/quotes/T21619.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_GHC -fwrite-ide-info #-}
module M where

import Language.Haskell.TH.Syntax

newtype T = T { getT :: Int }

instance Lift T where
  liftTyped v = [||T $$(liftTyped (getT v))||]