blob: 9bb8349ad44eff34af07e2ae7e2c9fc2bb5967ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE ExplicitNamespaces, TypeOperators, RoleAnnotations #-}
{-# OPTIONS -Wno-duplicate-exports #-}
module T16339
(
type (!),
type (!)(Bang),
type (!)(..),
type (.),
type (.)(Dot),
type (.)(..),
) where
data a ! b = Bang
data f . g = Dot
type role (!) phantom phantom
type role (.) phantom phantom
|
