[project @ 1996-03-19 08:58:34 by partain]

[ghc-hetmet.git] / ghc / compiler / typecheck / Spec.hi

diff --git a/ghc/compiler/typecheck/Spec.hi b/ghc/compiler/typecheck/Spec.hi
deleted file mode 100644 (file)
index 121b12f..0000000
--- a/ghc/compiler/typecheck/Spec.hi
+++ /dev/null
@@ -1,18 +0,0 @@
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface Spec where
-import Bag(Bag)
-import CmdLineOpts(GlobalSwitch)
-import HsExpr(Expr)
-import HsPat(TypecheckedPat)
-import Id(Id)
-import Inst(Inst, InstOrigin)
-import LIE(LIE)
-import Pretty(PprStyle, PrettyRep)
-import SplitUniq(SplitUniqSupply)
-import SrcLoc(SrcLoc)
-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))
-specTy :: InstOrigin -> UniType -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> (([TyVar], [Inst], UniType), Subst, Bag (PprStyle -> Int -> Bool -> PrettyRep))
-