Commit a6069053 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Cosmetics

parent dd7522c3
......@@ -267,7 +267,7 @@ liftTcCoSubstWith tvs cos ty
Nothing -> mkTcReflCo ty
go (AppTy t1 t2) = mkTcAppCo (go t1) (go t2)
go (TyConApp tc tys) = mkTcTyConAppCo tc (map go tys)
go ty@(LitTy {}) = mkTcReflCo ty
go ty@(LitTy {}) = mkTcReflCo ty
go (ForAllTy tv ty) = mkTcForAllCo tv (go ty)
go (FunTy t1 t2) = mkTcFunCo (go t1) (go t2)
\end{code}
......
......@@ -517,11 +517,11 @@ data InertSet
, inert_solved :: PredMap CtEvidence -- All others
-- These two fields constitute a cache of solved (only!) constraints
-- See Note [Solved constraints]
-- * Constraints of form (F xis ~ xi) live in inert_solved_funeqs,
-- - Constraints of form (F xis ~ xi) live in inert_solved_funeqs,
-- all the others are in inert_solved
-- * Used to avoid creating a new EvVar when we have a new goal that we
-- - Used to avoid creating a new EvVar when we have a new goal that we
-- have solvedin the past
-- * Stored not necessarily as fully rewritten
-- - Stored not necessarily as fully rewritten
-- (ToDo: rewrite lazily when we lookup)
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment