X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FSpec.hi;fp=ghc%2Fcompiler%2Ftypecheck%2FSpec.hi;h=121b12f42a857c5cd86740f20c15cc1f28cb77eb;hb=10521d8418fd3a1cf32882718b5bd28992db36fd;hp=6f67f4b60381f9c46210f2d543e78e6e665bddc6;hpb=7fa716e248a1f11fa686965f57aebbb83b74fa7b;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/Spec.hi b/ghc/compiler/typecheck/Spec.hi index 6f67f4b..121b12f 100644 --- a/ghc/compiler/typecheck/Spec.hi +++ b/ghc/compiler/typecheck/Spec.hi @@ -14,7 +14,5 @@ import Subst(Subst) import TyVar(TyVar) import UniType(UniType) specId :: Id -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> ((Expr Id TypecheckedPat, LIE, UniType), Subst, Bag (PprStyle -> Int -> Bool -> PrettyRep)) - {-# GHC_PRAGMA _A_ 7 _U_ 2002222 _N_ _S_ "U(LSLL)AALLLL" {_A_ 5 _U_ 22222 _N_ _N_ _N_ _N_} _N_ _N_ #-} specTy :: InstOrigin -> UniType -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> (([TyVar], [Inst], UniType), Subst, Bag (PprStyle -> Int -> Bool -> PrettyRep)) - {-# GHC_PRAGMA _A_ 2 _U_ 22002120 _N_ _N_ _N_ _N_ #-}