testsuite/tests/th/TH_genEx.hs


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

{-# OPTIONS -ddump-splices -XExistentialQuantification #-}
{-# LANGUAGE TemplateHaskell #-}

module TH_genEx where

import TH_genExLib
import Language.Haskell.TH

class MyInterface a where
  foo :: a -> Int
  foo1 :: Int -> a -> Int

$(genAny (reify ''MyInterface))