diff options
author | Sebastian Graf <sgraf1337@gmail.com> | 2019-09-20 18:08:52 +0000 |
---|---|---|
committer | Sebastian Graf <sgraf1337@gmail.com> | 2019-10-01 10:23:42 +0000 |
commit | 1f1ab5713faeb071e440f3d4a39bd43f048a64d1 (patch) | |
tree | af76857f72708501b9f41a880340fd72d5f2816d | |
parent | 95a7f8e271ee5a153f1ec7b569b9b23d5f74df5b (diff) | |
download | haskell-1f1ab5713faeb071e440f3d4a39bd43f048a64d1.tar.gz |
We need Algebraic
-rw-r--r-- | compiler/GHC/HsToCore/PmCheck/Oracle.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/HsToCore/PmCheck/Oracle.hs b/compiler/GHC/HsToCore/PmCheck/Oracle.hs index be28831ca8..cdce909ec0 100644 --- a/compiler/GHC/HsToCore/PmCheck/Oracle.hs +++ b/compiler/GHC/HsToCore/PmCheck/Oracle.hs @@ -1005,7 +1005,7 @@ addVarNonVoidCt delta@MkDelta{ delta_tm_st = TmSt env } x = vi' <- case splitTyConApp_maybe (vi_ty vi) of Just (tc,_) | lookupRecTc (delta_rec_tc delta) tc >= 1 - , isAlgTyCon tc + , isVanillaAlgTyCon tc -- not inhabited by inductive reasoning! If it was, some other -- constructor would be inhabited. -> mzero |