diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-18 17:33:05 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-18 17:33:05 +0100 |
| commit | 09a0670167447be3a548481cc9a07e699c8d5c22 (patch) | |
| tree | d37f1a60f2aeeb893f4bfd059bfa85f71cff7fbc /compiler | |
| parent | 19dd108cd15ab3d0cc538903217eef9be54a02e5 (diff) | |
| download | haskell-09a0670167447be3a548481cc9a07e699c8d5c22.tar.gz | |
Signatures and comments
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcInteract.lhs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcSimplify.lhs | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs index 3c6791818b..8c7582eedc 100644 --- a/compiler/typecheck/TcInteract.lhs +++ b/compiler/typecheck/TcInteract.lhs @@ -383,7 +383,7 @@ Note [Kick out insolubles] ~~~~~~~~~~~~~~~~~~~~~~~~~~ Suppose we have an insoluble alpha ~ [alpha], which is insoluble because an occurs check. And then we unify alpha := [Int]. -Then we really want to rewrite the insouluble to [Int] ~ [[Int]. +Then we really want to rewrite the insouluble to [Int] ~ [[Int]]. Now it can be decomposed. Otherwise we end up with a "Can't match [Int] ~ [[Int]]" which is true, but a bit confusing because the outer type constructors match. diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs index 7173be431b..77ba906d57 100644 --- a/compiler/typecheck/TcSimplify.lhs +++ b/compiler/typecheck/TcSimplify.lhs @@ -72,6 +72,7 @@ simplifyTop wanteds where -- See Note [Top-level Defaulting Plan] + simpl_top :: WantedConstraints -> TcS WantedConstraints simpl_top wanteds = do { wc_first_go <- nestTcS (solve_wanteds_and_drop wanteds) ; applyTyVarDefaulting wc_first_go |