diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-09-11 22:29:02 +0200 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-09-12 01:24:17 +0200 |
| commit | 8c0eca3dccd58b41b226d3f3aad9a02a18bef6de (patch) | |
| tree | 7a0faebae710b4af890cd40262e2884616645fab | |
| parent | f30a49250a0c96e9fb1b86d541657029a9aa8d51 (diff) | |
| download | haskell-8c0eca3dccd58b41b226d3f3aad9a02a18bef6de.tar.gz | |
Add assertions
| -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 |