diff options
Diffstat (limited to 'html-test/ref/Instances.html')
| -rw-r--r-- | html-test/ref/Instances.html | 58 |
1 files changed, 31 insertions, 27 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 9e9f2300..109e866c 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -262,7 +262,9 @@ ></span > <a href="#" title="Instances" >Foo</a - > []</span + > <a href="#" title="GHC.List" + >List</a + ></span > <a href="#" class="selflink" >#</a ></td @@ -900,7 +902,9 @@ ></span > <a href="#" title="Instances" >Bar</a - > [] (a, a)</span + > <a href="#" title="GHC.List" + >List</a + > (a, a)</span > <a href="#" class="selflink" >#</a ></td @@ -1300,9 +1304,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 +1314,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 +1324,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 +1366,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 +1378,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 +1390,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 +1432,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 +1448,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 +1504,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 +1516,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 +1566,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 +1578,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 +1590,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 +1848,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 +1864,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 |