diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-21 12:27:19 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-21 12:27:19 +1000 |
| commit | 32ac0f03b4259fc8eebba9bb3a2a46d23122a43b (patch) | |
| tree | a371fb9c5a3f78e6f53c66d70e1255fdc71bba4d /html-test/ref/TypeOperators.html | |
| parent | cd17128898089450bb21790fd1864dc08fd4ddbc (diff) | |
| parent | 2368e9329e6600b46000abd24ec00b7e27bcae75 (diff) | |
Merge remote-tracking branch 'upstream/ghc-9.4' into ghc-9.4
Diffstat (limited to 'html-test/ref/TypeOperators.html')
| -rw-r--r-- | html-test/ref/TypeOperators.html | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index ff79e6be..f4882f1a 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -147,7 +147,9 @@ ><p class="src" ><a id="v:f" class="def" >f</a - > :: a ~ b => a -> b <a href="#" class="selflink" + > :: a <a href="#" title="Data.Type.Equality" + >~</a + > b => a -> b <a href="#" class="selflink" >#</a ></p ></div @@ -155,7 +157,11 @@ ><p class="src" ><a id="v:g" class="def" >g</a - > :: (a ~ b, b ~ c) => a -> c <a href="#" class="selflink" + > :: (a <a href="#" title="Data.Type.Equality" + >~</a + > b, b <a href="#" title="Data.Type.Equality" + >~</a + > c) => a -> c <a href="#" class="selflink" >#</a ></p ></div |