projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2005-05-23 10:17:45 by simonpj]
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
Inst.lhs
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