diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-05-10 17:30:09 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-05-18 17:16:17 +0100 |
| commit | 797a46239d958841219f0f7769b0016b1b23d5ca (patch) | |
| tree | 2d0a02bb9d2c710d121776b265cfc72c6165eb3d | |
| parent | 819b9cfd21a1773091cec4e34716a0fd7c7d05c6 (diff) | |
| download | haskell-797a46239d958841219f0f7769b0016b1b23d5ca.tar.gz | |
Comments only
| -rw-r--r-- | compiler/typecheck/TcInteract.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcInteract.hs b/compiler/typecheck/TcInteract.hs index 41afe3fdd7..c71a01aa6c 100644 --- 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) |