diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-08-16 12:41:47 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-08-16 12:41:47 +1000 |
| commit | 9c7202515e216826d10854a4c95c050b97551066 (patch) | |
| tree | d46f4e258c523fdf857a274220658bd84ff22925 /html-test/ref/Instances.html | |
| parent | 4a2ad11155014bcf13a7dbd7f6b9e2c530ac3b79 (diff) | |
| parent | 4248704596d01753c9a776ebedf5cc598a883e28 (diff) | |
Merge remote-tracking branch 'upstream/main'
Diffstat (limited to 'html-test/ref/Instances.html')
| -rw-r--r-- | html-test/ref/Instances.html | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 9e9f2300..e99f82e4 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -1300,9 +1300,9 @@ >baz</a > :: [c] -> (<span class="keyword" >forall</span - > a. a -> a) -> (b, <span class="keyword" + > a1. a1 -> a1) -> (b, <span class="keyword" >forall</span - > c0. c0 -> [c]) -> (b, c1) <a href="#" class="selflink" + > c1. c1 -> [c]) -> (b, c0) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1310,9 +1310,9 @@ >baz'</a > :: b -> (<span class="keyword" >forall</span - > b. b -> [c]) -> (<span class="keyword" + > b1. b1 -> [c]) -> (<span class="keyword" >forall</span - > b. b -> [c]) -> [(b, [c])] <a href="#" class="selflink" + > b1. b1 -> [c]) -> [(b, [c])] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1320,9 +1320,9 @@ >baz''</a > :: b -> (<span class="keyword" >forall</span - > b. (<span class="keyword" + > b1. (<span class="keyword" >forall</span - > b. b -> [c]) -> c0) -> <span class="keyword" + > b2. b2 -> [c]) -> c0) -> <span class="keyword" >forall</span > c1. c1 -> b <a href="#" class="selflink" >#</a @@ -1362,9 +1362,9 @@ >baz</a > :: (a -> b) -> (<span class="keyword" >forall</span - > a0. a0 -> a0) -> (b0, <span class="keyword" + > a1. a1 -> a1) -> (b0, <span class="keyword" >forall</span - > c. c -> a -> b) -> (b0, c) <a href="#" class="selflink" + > c1. c1 -> a -> b) -> (b0, c) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1374,7 +1374,7 @@ >forall</span > b1. b1 -> a -> b) -> (<span class="keyword" >forall</span - > b2. b2 -> a -> b) -> [(b0, a -> b)] <a href="#" class="selflink" + > b1. b1 -> a -> b) -> [(b0, a -> b)] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1386,7 +1386,7 @@ >forall</span > b2. b2 -> a -> b) -> c) -> <span class="keyword" >forall</span - > c. c -> b0 <a href="#" class="selflink" + > c1. c1 -> b0 <a href="#" class="selflink" >#</a ></p ></div @@ -1428,11 +1428,11 @@ >Quux</a > a b c -> (<span class="keyword" >forall</span - > a0. a0 -> a0) -> (b0, <span class="keyword" + > a1. a1 -> a1) -> (b0, <span class="keyword" >forall</span - > c0. c0 -> <a href="#" title="Instances" + > c1. c1 -> <a href="#" title="Instances" >Quux</a - > a b c) -> (b0, c1) <a href="#" class="selflink" + > a b c) -> (b0, c0) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1444,7 +1444,7 @@ >Quux</a > a b c) -> (<span class="keyword" >forall</span - > b2. b2 -> <a href="#" title="Instances" + > b1. b1 -> <a href="#" title="Instances" >Quux</a > a b c) -> [(b0, <a href="#" title="Instances" >Quux</a @@ -1500,9 +1500,9 @@ >baz</a > :: (a, b, c) -> (<span class="keyword" >forall</span - > a0. a0 -> a0) -> (b0, <span class="keyword" + > a1. a1 -> a1) -> (b0, <span class="keyword" >forall</span - > c0. c0 -> (a, b, c)) -> (b0, c1) <a href="#" class="selflink" + > c1. c1 -> (a, b, c)) -> (b0, c0) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1512,7 +1512,7 @@ >forall</span > b1. b1 -> (a, b, c)) -> (<span class="keyword" >forall</span - > b2. b2 -> (a, b, c)) -> [(b0, (a, b, c))] <a href="#" class="selflink" + > b1. b1 -> (a, b, c)) -> [(b0, (a, b, c))] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1562,9 +1562,9 @@ >baz</a > :: (a, [b], b, a) -> (<span class="keyword" >forall</span - > a0. a0 -> a0) -> (b0, <span class="keyword" + > a1. a1 -> a1) -> (b0, <span class="keyword" >forall</span - > c. c -> (a, [b], b, a)) -> (b0, c) <a href="#" class="selflink" + > c1. c1 -> (a, [b], b, a)) -> (b0, c) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1574,7 +1574,7 @@ >forall</span > b1. b1 -> (a, [b], b, a)) -> (<span class="keyword" >forall</span - > b2. b2 -> (a, [b], b, a)) -> [(b0, (a, [b], b, a))] <a href="#" class="selflink" + > b1. b1 -> (a, [b], b, a)) -> [(b0, (a, [b], b, a))] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1586,7 +1586,7 @@ >forall</span > b2. b2 -> (a, [b], b, a)) -> c) -> <span class="keyword" >forall</span - > c. c -> b0 <a href="#" class="selflink" + > c1. c1 -> b0 <a href="#" class="selflink" >#</a ></p ></div @@ -1844,11 +1844,11 @@ >Quux</a > a b c -> (<span class="keyword" >forall</span - > a0. a0 -> a0) -> (b0, <span class="keyword" + > a1. a1 -> a1) -> (b0, <span class="keyword" >forall</span - > c0. c0 -> <a href="#" title="Instances" + > c1. c1 -> <a href="#" title="Instances" >Quux</a - > a b c) -> (b0, c1) <a href="#" class="selflink" + > a b c) -> (b0, c0) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1860,7 +1860,7 @@ >Quux</a > a b c) -> (<span class="keyword" >forall</span - > b2. b2 -> <a href="#" title="Instances" + > b1. b1 -> <a href="#" title="Instances" >Quux</a > a b c) -> [(b0, <a href="#" title="Instances" >Quux</a |