Fix scoped type variables for expression type signatures
[ghc-hetmet.git] / compiler / hsSyn / HsExpr.lhs-boot
1 \begin{code}
2 module HsExpr where
3
4 import SrcLoc     ( Located )
5 import Outputable ( SDoc, OutputableBndr )
6 import {-# SOURCE #-} HsPat  ( LPat )
7         
8 data HsExpr i
9 data HsSplice i
10 data MatchGroup a
11 data GRHSs a
12
13 type LHsExpr a = Located (HsExpr a)
14 type SyntaxExpr a = HsExpr a
15
16 pprExpr :: (OutputableBndr i) => 
17         HsExpr i -> SDoc
18
19 pprSplice :: (OutputableBndr i) => 
20         HsSplice i -> SDoc
21
22 pprPatBind :: (OutputableBndr b, OutputableBndr i) => 
23         LPat b -> GRHSs i -> SDoc
24
25 pprFunBind :: (OutputableBndr i) => 
26         i -> MatchGroup i -> SDoc
27 \end{code}