blob: 28991030ad0d0ab35427eb06aaf7e2e4afbd4790 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
\begin{code}
{-# LANGUAGE KindSignatures #-}
module HsPat where
import SrcLoc( Located )
import Data.Data
-- IA0_NOTE: We need kind annotation because of kind polymorphism.
data Pat (i :: *)
type LPat i = Located (Pat i)
instance Typeable1 Pat
instance Data i => Data (Pat i)
\end{code}
|
