diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-07-18 13:54:00 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-07-18 13:54:00 +0100 |
| commit | f272d03a64329abdc28613a24f193bef7080db5a (patch) | |
| tree | 2f5a1b0f770bc49aba5457182b386f4f9bcd6fc6 /compiler | |
| parent | 1459bd2ebe1427ac28d262347ee3b2de098b7a3b (diff) | |
| download | haskell-f272d03a64329abdc28613a24f193bef7080db5a.tar.gz | |
Remove bogus ASSERT
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcErrors.lhs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/typecheck/TcErrors.lhs b/compiler/typecheck/TcErrors.lhs index 6622af9b4e..277d94941e 100644 --- a/compiler/typecheck/TcErrors.lhs +++ b/compiler/typecheck/TcErrors.lhs @@ -586,8 +586,7 @@ reportOverlap ctxt inst_envs orig pred@(ClassP clas tys) , if not (isSingleton matches) then -- Two or more matches empty - else -- One match, plus some unifiers - ASSERT( not (null unifiers) ) + else -- One match parens (vcat [ptext (sLit "The choice depends on the instantiation of") <+> quotes (pprWithCommas ppr (varSetElems (tyVarsOfPred pred))), if null (matching_givens) then |