summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_compile/LinearTH3.hs
blob: 7254dd8b9222bbd34a580028fa6b3f89a0ca1dbc (plain)
1
2
3
4
5
6
7
{-# LANGUAGE TemplateHaskell, LinearTypes #-}
module LinearTH3 where  -- #18736

import Language.Haskell.TH

idenq :: Quote m => Code m (a %1 -> a)
idenq = [|| \x -> x ||]