Comments only

797a4623 · Simon Peyton Jones · 819b9cfd · 797a4623
Commit 797a4623 authored May 10, 2018 by Simon Peyton Jones
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

compiler/typecheck/TcInteract.hs compiler/typecheck/TcInteract.hs +2 -2

No files found.
--- a/compiler/typecheck/TcInteract.hs
+++ b/compiler/typecheck/TcInteract.hs
@@ -2507,8 +2507,8 @@ matchInstEnv dflags short_cut_solver clas tys loc
            ([(ispec, inst_tys)], [], False)
                | short_cut_solver
                , isOverlappable ispec
-                -- If the instance has OVERLAPPABLE or OVERLAPS then
-                -- don't let the short-cut solver choose it, because a
+                -- If the instance has OVERLAPPABLE or OVERLAPS or INCOHERENT
+                -- then don't let the short-cut solver choose it, because a
                -- later instance might overlap it.  Trac #14434 is an example
                -- See Note [Shortcut solving: overlap]
                -> do { traceTcS "matchClass: ingnoring overlappable" (ppr pred)