diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-06-15 21:55:52 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-06-16 10:26:35 -0400 |
| commit | 89c7168c150ccc38a2e6dd4a3aea555616722260 (patch) | |
| tree | 76f5fa411d847d16ac3203c7c16e2c494e09771e /compiler | |
| parent | 2613271ff2eee66c285fbfc5aa6ae22af44138fa (diff) | |
| download | haskell-89c7168c150ccc38a2e6dd4a3aea555616722260.tar.gz | |
Fix #10534
Test case: typecheck/should_fail/T10534
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/types/TyCon.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/TyCon.hs b/compiler/types/TyCon.hs index 827c076b2e..94fba284bf 100644 --- a/compiler/types/TyCon.hs +++ b/compiler/types/TyCon.hs @@ -1228,7 +1228,7 @@ isDistinctTyCon _ = False isDistinctAlgRhs :: AlgTyConRhs -> Bool isDistinctAlgRhs (TupleTyCon {}) = True isDistinctAlgRhs (DataTyCon {}) = True -isDistinctAlgRhs (DataFamilyTyCon {}) = True +isDistinctAlgRhs (DataFamilyTyCon {}) = False isDistinctAlgRhs (AbstractTyCon distinct) = distinct isDistinctAlgRhs (NewTyCon {}) = False |