projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1996-03-21 12:46:33 by partain]
[ghc-hetmet.git]
/
ghc
/
compiler
/
typecheck
/
TcBinds.lhs
diff --git
a/ghc/compiler/typecheck/TcBinds.lhs
b/ghc/compiler/typecheck/TcBinds.lhs
index
a61b075
..
9ecbe7f
100644
(file)
--- a/
ghc/compiler/typecheck/TcBinds.lhs
+++ b/
ghc/compiler/typecheck/TcBinds.lhs
@@
-39,7
+39,8
@@
import Maybes ( assocMaybe, catMaybes, Maybe(..) )
import Outputable ( pprNonOp )
import PragmaInfo ( PragmaInfo(..) )
import Pretty
import Outputable ( pprNonOp )
import PragmaInfo ( PragmaInfo(..) )
import Pretty
-import Type ( mkTyVarTy, isTyVarTy, mkSigmaTy, splitSigmaTy,
+import Type ( mkTyVarTy, mkTyVarTys, isTyVarTy,
+ mkSigmaTy, splitSigmaTy,
splitRhoTy, mkForAllTy, splitForAllTy )
import Util ( panic )
\end{code}
splitRhoTy, mkForAllTy, splitForAllTy )
import Util ( panic )
\end{code}
@@
-401,7
+402,7
@@
tcPragmaSig (SpecSig name poly_ty maybe_spec_name src_loc)
let
(main_tyvars, main_rho) = splitForAllTy main_ty
(main_theta,main_tau) = splitRhoTy main_rho
let
(main_tyvars, main_rho) = splitForAllTy main_ty
(main_theta,main_tau) = splitRhoTy main_rho
- main_arg_tys = map mkTyVarTy main_tyvars
+ main_arg_tys = mkTyVarTys main_tyvars
in
-- Check that the specialised type is indeed an instance of
in
-- Check that the specialised type is indeed an instance of