Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T13394.hs
1 {-# LANGUAGE OverloadedStrings #-}
2 {-# LANGUAGE PatternSynonyms #-}
3 module T13394 where
4
5 import Data.ByteString
6
7 newtype ProperName =
8 ProperName { runProperName :: ByteString
9 -- purescript actually uses the Text type, but this works
10 -- just as well for the purposes of illustrating the bug
11 }
12 newtype ModuleName = ModuleName [ProperName]
13
14 pattern TypeDataSymbol :: ModuleName
15 pattern TypeDataSymbol = ModuleName [ProperName "Type"]