diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-12-23 10:23:20 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-23 10:23:20 -0500 |
| commit | 7dd0a79cce7c4c048e7c145c9f378da3a96392d0 (patch) | |
| tree | 30d9449b76bd90bae0030651e839e7f98cada91f /html-test/ref/TypeFamilies.html | |
| parent | ed43757aa371f9a532665783e27cff1703b4ac90 (diff) | |
Properly synify and render promoted type variables (#985)
* Synify and render properly promoted type variables
Fixes #923.
* Accept output
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index b501a9a0..492b7ec1 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -224,11 +224,11 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:1" ></span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a > <a href="#" title="TypeFamilies" >><</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a ></span > <a href="#" class="selflink" @@ -386,11 +386,11 @@ ></span > <span class="keyword" >type</span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a > <a href="#" title="TypeFamilies" ><></a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a ></span > <a href="#" class="selflink" @@ -411,13 +411,13 @@ > <div class="src" ><span class="keyword" >type</span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a > <a href="#" title="TypeFamilies" ><></a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a - > = <a href="#" title="TypeFamilies" + > = '<a href="#" title="TypeFamilies" >X</a ></div ></details @@ -1115,7 +1115,7 @@ >Z</a > -> <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >ZA</a ></li ><li class="inst" @@ -1127,7 +1127,7 @@ >Z</a >). {..} -> <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >ZB</a ></li ></ul @@ -1401,7 +1401,7 @@ >Z</a > -> <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >ZA</a ></li ><li class="inst" @@ -1413,7 +1413,7 @@ >Z</a >). {..} -> <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >ZB</a ></li ></ul @@ -1770,11 +1770,11 @@ ></span > <span class="keyword" >type</span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a > <a href="#" title="TypeFamilies" ><></a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a ></span > <a href="#" class="selflink" @@ -1795,13 +1795,13 @@ > <div class="src" ><span class="keyword" >type</span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a > <a href="#" title="TypeFamilies" ><></a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a - > = <a href="#" title="TypeFamilies" + > = '<a href="#" title="TypeFamilies" >X</a ></div ></details @@ -1918,11 +1918,11 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:-62--60-:-62--60-:1" ></span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a > <a href="#" title="TypeFamilies" >><</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a ></span > <a href="#" class="selflink" |