Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
-
8d33d048
by Berk Özkütük at 2025-07-07T20:42:20-04:00
3 changed files:
- compiler/GHC/Core/TyCon.hs
- + utils/haddock/html-test/ref/Bug25739.html
- + utils/haddock/html-test/src/Bug25739.hs
Changes:
| ... | ... | @@ -2709,6 +2709,7 @@ tyConStupidTheta :: TyCon -> [PredType] |
| 2709 | 2709 | tyConStupidTheta tc@(TyCon { tyConDetails = details })
|
| 2710 | 2710 | | AlgTyCon {algTcStupidTheta = stupid} <- details = stupid
|
| 2711 | 2711 | | PrimTyCon {} <- details = []
|
| 2712 | + | PromotedDataCon {} <- details = []
|
|
| 2712 | 2713 | | otherwise = pprPanic "tyConStupidTheta" (ppr tc)
|
| 2713 | 2714 | |
| 2714 | 2715 | -- | Extract the 'TyVar's bound by a vanilla type synonym
|
| 1 | +<html xmlns="http://www.w3.org/1999/xhtml"
|
|
| 2 | +><head
|
|
| 3 | + ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
|
|
| 4 | + /><meta name="viewport" content="width=device-width, initial-scale=1"
|
|
| 5 | + /><title
|
|
| 6 | + >Bug25739</title
|
|
| 7 | + ><link href="#" rel="stylesheet" type="text/css" title="Linuwial"
|
|
| 8 | + /><link rel="stylesheet" type="text/css" href="#"
|
|
| 9 | + /><link rel="stylesheet" type="text/css" href="#"
|
|
| 10 | + /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
|
|
| 11 | + ></script
|
|
| 12 | + ><script type="text/x-mathjax-config"
|
|
| 13 | + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script
|
|
| 14 | + ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
|
|
| 15 | + ></script
|
|
| 16 | + ></head
|
|
| 17 | + ><body
|
|
| 18 | + ><div id="package-header"
|
|
| 19 | + ><span class="caption empty"
|
|
| 20 | + > </span
|
|
| 21 | + ><ul class="links" id="page-menu"
|
|
| 22 | + ><li
|
|
| 23 | + ><a href="#"
|
|
| 24 | + >Contents</a
|
|
| 25 | + ></li
|
|
| 26 | + ><li
|
|
| 27 | + ><a href="#"
|
|
| 28 | + >Index</a
|
|
| 29 | + ></li
|
|
| 30 | + ></ul
|
|
| 31 | + ></div
|
|
| 32 | + ><div id="content"
|
|
| 33 | + ><div id="module-header"
|
|
| 34 | + ><table class="info"
|
|
| 35 | + ><tr
|
|
| 36 | + ><th
|
|
| 37 | + >Safe Haskell</th
|
|
| 38 | + ><td
|
|
| 39 | + >None</td
|
|
| 40 | + ></tr
|
|
| 41 | + ></table
|
|
| 42 | + ><p class="caption"
|
|
| 43 | + >Bug25739</p
|
|
| 44 | + ></div
|
|
| 45 | + ><div id="interface"
|
|
| 46 | + ><h1
|
|
| 47 | + >Documentation</h1
|
|
| 48 | + ><div class="top"
|
|
| 49 | + ><p class="src"
|
|
| 50 | + ><span class="keyword"
|
|
| 51 | + >data</span
|
|
| 52 | + > <a id="t:Bar" class="def"
|
|
| 53 | + >Bar</a
|
|
| 54 | + > :: Foo <a href="#" class="selflink"
|
|
| 55 | + >#</a
|
|
| 56 | + ></p
|
|
| 57 | + ></div
|
|
| 58 | + ></div
|
|
| 59 | + ></div
|
|
| 60 | + ></body
|
|
| 61 | + ></html
|
|
| 62 | +> |
| 1 | +{-# LANGUAGE TypeData #-}
|
|
| 2 | + |
|
| 3 | +module Bug25739 (Bar) where
|
|
| 4 | + |
|
| 5 | +type data Foo = Bar |