diff options
| -rw-r--r-- | compiler/typecheck/FamInst.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/typecheck/FamInst.hs b/compiler/typecheck/FamInst.hs index 49fc5fe8b0..978e92e34c 100644 --- a/compiler/typecheck/FamInst.hs +++ b/compiler/typecheck/FamInst.hs @@ -423,7 +423,8 @@ makeInjectivityErrors -> [CoAxBranch] -- ^ List of injectivity conflicts -> [(SDoc, SrcSpan)] makeInjectivityErrors tycon axiom inj conflicts - = let lhs = coAxBranchLHS axiom + = ASSERT2( any id inj, text "No injective type variables" ) + let lhs = coAxBranchLHS axiom rhs = coAxBranchRHS axiom are_conflicts = not $ null conflicts |