projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
6d4df3a
)
[project @ 2005-05-23 10:17:45 by simonpj]
author
simonpj
<unknown>
Mon, 23 May 2005 10:17:45 +0000
(10:17 +0000)
committer
simonpj
<unknown>
Mon, 23 May 2005 10:17:45 +0000
(10:17 +0000)
Dead code (HEAD only)
ghc/compiler/typecheck/Inst.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/Inst.lhs
b/ghc/compiler/typecheck/Inst.lhs
index
3de9fb9
..
8e586b0
100644
(file)
--- a/
ghc/compiler/typecheck/Inst.lhs
+++ b/
ghc/compiler/typecheck/Inst.lhs
@@
-27,7
+27,7
@@
module Inst (
isDict, isClassDict, isMethod,
isLinearInst, linearInstType, isIPDict, isInheritableInst,
isDict, isClassDict, isMethod,
isLinearInst, linearInstType, isIPDict, isInheritableInst,
- isTyVarDict, isStdClassTyVarDict, isMethodFor,
+ isTyVarDict, isMethodFor,
instBindingRequired,
zonkInst, zonkInsts,
instBindingRequired,
zonkInst, zonkInsts,
@@
-194,11
+194,6
@@
isLinearInst other = False
linearInstType :: Inst -> TcType -- %x::t --> t
linearInstType (Dict _ (IParam _ ty) _) = ty
linearInstType :: Inst -> TcType -- %x::t --> t
linearInstType (Dict _ (IParam _ ty) _) = ty
-
-
-isStdClassTyVarDict (Dict _ pred _) = case getClassPredTys_maybe pred of
- Just (clas, [ty]) -> isStandardClass clas && tcIsTyVarTy ty
- other -> False
\end{code}
Two predicates which deal with the case where class constraints don't
\end{code}
Two predicates which deal with the case where class constraints don't