diff options
| -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 |