diff options
author | Niklas Haas <git@nand.wakku.to> | 2014-08-24 08:14:10 +0200 |
---|---|---|
committer | Niklas Haas <git@nand.wakku.to> | 2014-08-24 08:14:10 +0200 |
commit | 26a44b9f3f539e93f499eea4eda6a354f46b20da (patch) | |
tree | 31f6fa651e873e901c03dfbb93fd32006991ed23 /html-test/ref/mini_TypeFamilies.html | |
parent | fefef1c49075acc4390db822fad7e351c777e847 (diff) |
Fix extra whitespace on signatures and update all test cases
This was long overdue, now running ./accept.lhs on a clean test from
master will not generate a bunch of changes.
Diffstat (limited to 'html-test/ref/mini_TypeFamilies.html')
-rw-r--r-- | html-test/ref/mini_TypeFamilies.html | 64 |
1 files changed, 57 insertions, 7 deletions
diff --git a/html-test/ref/mini_TypeFamilies.html b/html-test/ref/mini_TypeFamilies.html index 0cf39c88..feb61abc 100644 --- a/html-test/ref/mini_TypeFamilies.html +++ b/html-test/ref/mini_TypeFamilies.html @@ -22,9 +22,49 @@ window.onload = function () {pageLoad();}; ><div class="top" ><p class="src" ><span class="keyword" + >data</span + > <a href="" target="main" + >X</a + ></p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >Y</a + ></p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" target="main" + >Z</a + ></p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > <a href="" target="main" + >Test</a + > a</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" >type family</span > <a href="" - >G</a + >Foo</a + > a :: k</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data family</span + > <a href="" + >Bat</a > a :: *</p ></div ><div class="top" @@ -32,7 +72,7 @@ window.onload = function () {pageLoad();}; ><span class="keyword" >class</span > <a href="" target="main" - >A</a + >Assoc</a > a</p ></div ><div class="top" @@ -40,14 +80,24 @@ window.onload = function () {pageLoad();}; ><span class="keyword" >type family</span > <a href="" - >F</a - > a </p + >Bar</a + > b</p ></div ><div class="top" ><p class="src" - ><a href="" target="main" - >g</a - ></p + ><span class="keyword" + >type family</span + > a <a href="" + ><></a + > b :: k</p + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >class</span + > a <a href="" target="main" + >><</a + > b</p ></div ></div ></body |