testsuite/tests/th/T12530.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
module T12530 where

import Language.Haskell.TH

$([d|   -- Test the Template Haskell pretty-printing for TypeApplications
        f :: Maybe Int -> Maybe Int
        f = id @(Maybe Int)

        -- Wildcards and scoped type variables too
        g :: forall a. a
        g = undefined @(_) @(a)
    |])