diff options
author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-20 22:35:38 +0800 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-12-12 07:07:30 +0000 |
commit | a197615a032f14f20761a7dec21ea098297eda31 (patch) | |
tree | 2fec80f94924cd0d8dd44110a054ceb93a3217f6 /html-test/ref | |
parent | d5950c8a95dc46fe2702d04f724145c73355043e (diff) |
Update Haddock to new pattern synonym type signature syntax
Conflicts:
haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
haddock-api/src/Haddock/Convert.hs
Diffstat (limited to 'html-test/ref')
-rw-r--r-- | html-test/ref/Operators.html | 4 | ||||
-rw-r--r-- | html-test/ref/PatternSyns.html | 36 |
2 files changed, 20 insertions, 20 deletions
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 67cc8ed5..516fe602 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -92,7 +92,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");}; ><li class="src short" >pattern <a href="" >(:+)</a - > t t :: [t]</li + > :: t -> t -> [t]</li ><li class="src short" ><span class="keyword" >data</span @@ -268,7 +268,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");}; ><p class="src" >pattern <a name="v::-43-" class="def" >(:+)</a - > t t :: [t] <span class="fixity" + > :: t -> t -> [t] <span class="fixity" >infixr 3</span ><span class="rightedge" ></span diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index f1bd7f62..f5842d79 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -62,23 +62,23 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; >FooCtor</a > x</li ><li class="src short" - >pattern <a href="" + >pattern <a href="" >Foo</a - > t :: <a href="" + > :: t -> <a href="" >FooType</a > t</li ><li class="src short" - >pattern <a href="" + >pattern <a href="" >Bar</a - > t :: <a href="" + > :: t -> <a href="" >FooType</a > (<a href="" >FooType</a > t)</li ><li class="src short" - >pattern t <a href="" - >:<-></a - > t :: (<a href="" + >pattern <a href="" + >(:<->)</a + > :: t -> t -> (<a href="" >FooType</a > t, <a href="" >FooType</a @@ -94,9 +94,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; >Empty</a ></li ><li class="src short" - >pattern <a href="" + >pattern <a href="" >E</a - > :: <a href="" + > :: <a href="" >(><)</a > k t t</li ></ul @@ -132,9 +132,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; ></div ><div class="top" ><p class="src" - >pattern <a name="v:Foo" class="def" + >pattern <a name="v:Foo" class="def" >Foo</a - > t :: <a href="" + > :: t -> <a href="" >FooType</a > t</p ><div class="doc" @@ -148,9 +148,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; ></div ><div class="top" ><p class="src" - >pattern <a name="v:Bar" class="def" + >pattern <a name="v:Bar" class="def" >Bar</a - > t :: <a href="" + > :: t -> <a href="" >FooType</a > (<a href="" >FooType</a @@ -166,9 +166,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; ></div ><div class="top" ><p class="src" - >pattern t <a name="v::-60--45--62-" class="def" - >:<-></a - > t :: (<a href="" + >pattern <a name="v::-60--45--62-" class="def" + >(:<->)</a + > :: t -> t -> (<a href="" >FooType</a > t, <a href="" >FooType</a @@ -214,9 +214,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; ></div ><div class="top" ><p class="src" - >pattern <a name="v:E" class="def" + >pattern <a name="v:E" class="def" >E</a - > :: <a href="" + > :: <a href="" >(><)</a > k t t</p ><div class="doc" |