Make type import/export API Annotation friendly
[ghc.git] / testsuite / tests / ghc-api / annotations / Test13163.hs
1 {-# LANGUAGE TypeOperators #-}
2 {-# LANGUAGE PatternSynonyms #-}
3 {-# LANGUAGE ExplicitNamespaces #-}
4 module T13163
5 ( Record(..)
6 , type (?)(..)
7 , f, type (+), pattern Single
8 ) where
9
10 import Data.Promotion.Prelude (type (:+$), type (:*$), type (:^$), type (:-$))
11 import Options.Generic (Generic, ParseRecord, type (<?>)(..))
12 import GHC.TypeLits
13
14 pattern Single x = [x]
15
16 f = undefined