summaryrefslogtreecommitdiff
path: root/compiler/types/TyCon.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/types/TyCon.hs')
-rw-r--r--compiler/types/TyCon.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/types/TyCon.hs b/compiler/types/TyCon.hs
index 0bbd8c9e0e..6f53bc3c98 100644
--- a/compiler/types/TyCon.hs
+++ b/compiler/types/TyCon.hs
@@ -2288,6 +2288,7 @@ newTyConDataCon_maybe _ = Nothing
-- @data Eq a => T a ...@
tyConStupidTheta :: TyCon -> [PredType]
tyConStupidTheta (AlgTyCon {algTcStupidTheta = stupid}) = stupid
+tyConStupidTheta (FunTyCon {}) = []
tyConStupidTheta tycon = pprPanic "tyConStupidTheta" (ppr tycon)
-- | Extract the 'TyVar's bound by a vanilla type synonym