Add a case to checkValidTyCon
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 13 May 2015 11:44:12 +0000 (12:44 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 13 May 2015 11:44:12 +0000 (12:44 +0100)
Apparently when Haddock'ing, we check GHC.Prim.
So checkValidTyCon must not crash when dealing with
PrimTyCons; and it was doing so in dataConStupidTheta.

The fix is easy, but I'm puzzled about why Haddock needs to
typecheck GHC.Prim.

compiler/typecheck/TcTyClsDecls.hs

index 59ff6cb..1b324f6 100644 (file)
@@ -1451,6 +1451,9 @@ checkValidTyCl thing
 
 checkValidTyCon :: TyCon -> TcM ()
 checkValidTyCon tc
+  | isPrimTyCon tc   -- Happens when Haddock'ing GHC.Prim
+  = return ()
+
   | Just cl <- tyConClass_maybe tc
   = checkValidClass cl