Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Commits
ea2d0a53
Commit
ea2d0a53
authored
Dec 01, 2006
by
simonpj@microsoft.com
Browse files
q
parent
ebafc217
Changes
2
Hide whitespace changes
Inline
Side-by-side
compiler/typecheck/Inst.lhs
View file @
ea2d0a53
...
...
@@ -110,7 +110,8 @@ instType imp@(ImplicInst {}) = mkImplicTy (tci_tyvars imp) (tci_given imp)
(tci_wanted imp)
mkImplicTy tvs givens wanteds -- The type of an implication constraint
= -- pprTrace "mkImplicTy" (ppr givens) $
= ASSERT( all isDict givens )
-- pprTrace "mkImplicTy" (ppr givens) $
mkForAllTys tvs $
mkPhiTy (map dictPred givens) $
if isSingleton wanteds then
...
...
@@ -330,6 +331,7 @@ mkPredName uniq loc pred_ty
occ = case pred_ty of
ClassP cls tys -> mkDictOcc (getOccName cls)
IParam ip ty -> getOccName (ipNameName ip)
EqPred _ _ -> pprPanic "mkPredName" (ppr pred_ty)
\end{code}
%************************************************************************
...
...
compiler/typecheck/TcSimplify.lhs
View file @
ea2d0a53
...
...
@@ -1236,7 +1236,7 @@ tcSimplifyRestricted doc top_lvl bndrs tau_tvs wanteds
returnM (varSetElems qtvs, binds)
else
let
(
non
_ips,
bad
_ips) = partition is
Class
Dict irreds
(
bad
_ips,
non
_ips) = partition is
IP
Dict irreds
in
addTopIPErrs bndrs bad_ips `thenM_`
extendLIEs non_ips `thenM_`
...
...
@@ -1992,9 +1992,6 @@ extractResults (Avails _ avails) wanteds
Just (Rhs rhs ws') -> go (add_given avails w) new_binds irreds (ws' ++ ws)
where
new_binds = addBind binds w rhs
where
w_span = instSpan w
w_id = instToId w
add_given avails w = extendAvailEnv avails w (Given (instToId w))
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment