testsuite/tests/th/T18740c.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE ScopedTypeVariables #-}

module T18740c where

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

[d| f (Proxy :: Proxy a) = a |] >>= addTopDecls >> return []