diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-05-11 16:03:44 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-11 16:03:44 +0200 |
| commit | 9760ee9efe22f0256d626bc567a7adfc754e9066 (patch) | |
| tree | d46084df1738e4b72de461cac2b512f4da3e788e /html-test/ref/PatternSyns.html | |
| parent | 609018dd09c4ffe27f9248b2d8b50f6196cd42b9 (diff) | |
| parent | 1f05bf72992f603c1fa19aff525d77bf26956c52 (diff) | |
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'html-test/ref/PatternSyns.html')
| -rw-r--r-- | html-test/ref/PatternSyns.html | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index ffebdf27..70e9230b 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -91,13 +91,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html& >(:<->)</a > :: <span class="keyword" >forall</span - > t t. t -> t -> (<a href="#" + > t t1. t -> t1 -> (<a href="#" >FooType</a > t, <a href="#" >FooType</a > (<a href="#" >FooType</a - > t))</li + > t1))</li ><li class="src short" ><span class="keyword" >data</span @@ -113,9 +113,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html& >E</a > :: <span class="keyword" >forall</span - > k t t. <a href="#" + > k t t1. <a href="#" >(><)</a - > k t t</li + > k t t1</li ></ul ></div ><div id="interface" @@ -203,13 +203,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html& >(:<->)</a > :: <span class="keyword" >forall</span - > t t. t -> t -> (<a href="#" + > t t1. t -> t1 -> (<a href="#" >FooType</a > t, <a href="#" >FooType</a > (<a href="#" >FooType</a - > t)) <a href="#" class="selflink" + > t1)) <a href="#" class="selflink" >#</a ></p ><div class="doc" @@ -261,9 +261,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html& >E</a > :: <span class="keyword" >forall</span - > k t t. <a href="#" + > k t t1. <a href="#" >(><)</a - > k t t <a href="#" class="selflink" + > k t t1 <a href="#" class="selflink" >#</a ></p ><div class="doc" |