diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-12-12 10:46:47 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-12-12 10:46:47 -0500 |
| commit | f7ebbbf549c5ef347a65976d02beced501b3f3c8 (patch) | |
| tree | 8e4d4884579c92c1f4e5811c5aeaa6fa6fe05a55 | |
| parent | d9e7055ce46b2368e34f5084ae23f767105c9cdb (diff) | |
| download | haskell-f7ebbbf549c5ef347a65976d02beced501b3f3c8.tar.gz | |
Fix warning
| -rw-r--r-- | compiler/typecheck/TcInteract.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/typecheck/TcInteract.hs b/compiler/typecheck/TcInteract.hs index 8949dc708a..c67e437fe9 100644 --- a/compiler/typecheck/TcInteract.hs +++ b/compiler/typecheck/TcInteract.hs @@ -1038,6 +1038,8 @@ kick_out new_flavour new_eq_rel new_tv (IC { inert_eqs = tv_eqs | otherwise = True + keep_eq ct = pprPanic "keep_eq" (ppr ct) + {- Note [Kicking out inert constraints] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |