testsuite/tests/linear/should_fail/LinearTHFail.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TemplateHaskellQuotes, LinearTypes #-}

module LinearTHFail where -- #18465

import Language.Haskell.TH

f :: Q Exp %1 -> Q Exp
f x = [| Just $x |]

g :: Code Q a %1 -> Code Q (Maybe a)
g x = [|| Just $$x ||]