Commit 39f0bd05 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only

parent f18c1886
...@@ -704,7 +704,7 @@ solve_wanteds wanted@(WC { wc_flat = flats, wc_impl = implics, wc_insol = insols ...@@ -704,7 +704,7 @@ solve_wanteds wanted@(WC { wc_flat = flats, wc_impl = implics, wc_insol = insols
= do { traceTcS "solveWanteds {" (ppr wanted) = do { traceTcS "solveWanteds {" (ppr wanted)
-- Try the flat bit, including insolubles. Solving insolubles a -- Try the flat bit, including insolubles. Solving insolubles a
-- second time round is a bit of a waste but the code is simple -- second time round is a bit of a waste; but the code is simple
-- and the program is wrong anyway, and we don't run the danger -- and the program is wrong anyway, and we don't run the danger
-- of adding Derived insolubles twice; see -- of adding Derived insolubles twice; see
-- TcSMonad Note [Do not add duplicate derived insolubles] -- TcSMonad Note [Do not add duplicate derived insolubles]
......
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