diff options
| author | Alexander Biehl <alexbiehl@gmail.com> | 2018-06-14 15:28:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-14 15:28:52 +0200 |
| commit | 6247ec8b5a5bc8145ce851dce11eb617a380381c (patch) | |
| tree | 7856c0dd1ddd0c1f3eef0422b0cd8e8a5a6b71cb /html-test/ref/PatternSyns.html | |
| parent | 9a7f539d0c20654ff394f2ff99836412a6844df1 (diff) | |
| parent | 095fa970b32c818ed4c06cefc00ba98aaff756fa (diff) | |
Merge pull request #857 from sjakobi/ghc-head-update-3
Update ghc-head
Diffstat (limited to 'html-test/ref/PatternSyns.html')
| -rw-r--r-- | html-test/ref/PatternSyns.html | 80 |
1 files changed, 32 insertions, 48 deletions
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index bf0cdf1e..fce20f96 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -66,7 +66,7 @@ >Foo</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a > x</li ><li class="src short" @@ -76,9 +76,9 @@ >Bar</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x)</li ><li class="src short" @@ -88,11 +88,11 @@ >(:<->)</a > :: <span class="keyword" >forall</span - > x x1. x -> x1 -> (<a href="#" + > x x1. x -> x1 -> (<a href="#" title="PatternSyns" >FooType</a - > x, <a href="#" + > x, <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x1))</li ><li class="src short" @@ -100,9 +100,7 @@ >data</span > <a href="#" >BlubType</a - > = <a href="#" - >Show</a - > x => <a href="#" + > = Show x => <a href="#" >BlubCtor</a > x</li ><li class="src short" @@ -112,17 +110,13 @@ >Blub</a > :: () => <span class="keyword" >forall</span - > x. <a href="#" - >Show</a - > x => x -> <a href="#" + > x. Show x => x -> <a href="#" title="PatternSyns" >BlubType</a ></li ><li class="src short" ><span class="keyword" >data</span - > (a :: <a href="#" - >*</a - >) <a href="#" + > (a :: *) <a href="#" >><</a > b = <a href="#" >Empty</a @@ -134,17 +128,15 @@ >E</a > :: <span class="keyword" >forall</span - > k a (b :: k). <a href="#" - >(><)</a - > k a b</li + > k a (b :: k). a <a href="#" title="PatternSyns" + >><</a + > b</li ><li class="src short" ><span class="keyword" >pattern</span > <a href="#" >PatWithExplicitSig</a - > :: <a href="#" - >Eq</a - > somex => somex -> <a href="#" + > :: Eq somex => somex -> <a href="#" title="PatternSyns" >FooType</a > somex</li ></ul @@ -189,7 +181,7 @@ >Foo</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a > x <a href="#" class="selflink" >#</a @@ -197,7 +189,7 @@ ><div class="doc" ><p >Pattern synonym for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Foo</a ></code > x</p @@ -211,9 +203,9 @@ >Bar</a > :: <span class="keyword" >forall</span - > x. x -> <a href="#" + > x. x -> <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x) <a href="#" class="selflink" >#</a @@ -221,7 +213,7 @@ ><div class="doc" ><p >Pattern synonym for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Bar</a ></code > x</p @@ -235,11 +227,11 @@ >(:<->)</a > :: <span class="keyword" >forall</span - > x x1. x -> x1 -> (<a href="#" + > x x1. x -> x1 -> (<a href="#" title="PatternSyns" >FooType</a - > x, <a href="#" + > x, <a href="#" title="PatternSyns" >FooType</a - > (<a href="#" + > (<a href="#" title="PatternSyns" >FooType</a > x1)) <a href="#" class="selflink" >#</a @@ -247,7 +239,7 @@ ><div class="doc" ><p >Pattern synonym for (<code - ><a href="#" + ><a href="#" title="PatternSyns" >:<-></a ></code >)</p @@ -272,9 +264,7 @@ ><table ><tr ><td class="src" - ><a href="#" - >Show</a - > x => <a id="v:BlubCtor" class="def" + >Show x => <a id="v:BlubCtor" class="def" >BlubCtor</a > x</td ><td class="doc empty" @@ -291,9 +281,7 @@ >Blub</a > :: () => <span class="keyword" >forall</span - > x. <a href="#" - >Show</a - > x => x -> <a href="#" + > x. Show x => x -> <a href="#" title="PatternSyns" >BlubType</a > <a href="#" class="selflink" >#</a @@ -301,7 +289,7 @@ ><div class="doc" ><p >Pattern synonym for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Blub</a ></code > x</p @@ -311,9 +299,7 @@ ><p class="src" ><span class="keyword" >data</span - > (a :: <a href="#" - >*</a - >) <a id="t:-62--60-" class="def" + > (a :: *) <a id="t:-62--60-" class="def" >><</a > b <a href="#" class="selflink" >#</a @@ -321,7 +307,7 @@ ><div class="doc" ><p >Doc for (<code - ><a href="#" + ><a href="#" title="PatternSyns" >><</a ></code >)</p @@ -349,15 +335,15 @@ >E</a > :: <span class="keyword" >forall</span - > k a (b :: k). <a href="#" - >(><)</a - > k a b <a href="#" class="selflink" + > k a (b :: k). a <a href="#" title="PatternSyns" + >><</a + > b <a href="#" class="selflink" >#</a ></p ><div class="doc" ><p >Pattern for <code - ><a href="#" + ><a href="#" title="PatternSyns" >Empty</a ></code ></p @@ -369,9 +355,7 @@ >pattern</span > <a id="v:PatWithExplicitSig" class="def" >PatWithExplicitSig</a - > :: <a href="#" - >Eq</a - > somex => somex -> <a href="#" + > :: Eq somex => somex -> <a href="#" title="PatternSyns" >FooType</a > somex <a href="#" class="selflink" >#</a |