aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/mini_TypeFamilies.html
diff options
context:
space:
mode:
authorNiklas Haas <git@nand.wakku.to>2014-08-24 08:14:10 +0200
committerNiklas Haas <git@nand.wakku.to>2014-08-24 08:14:10 +0200
commit26a44b9f3f539e93f499eea4eda6a354f46b20da (patch)
tree31f6fa651e873e901c03dfbb93fd32006991ed23 /html-test/ref/mini_TypeFamilies.html
parentfefef1c49075acc4390db822fad7e351c777e847 (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.html64
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=""
+ >&lt;&gt;</a
+ > b :: k</p
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >class</span
+ > a <a href="" target="main"
+ >&gt;&lt;</a
+ > b</p
></div
></div
></body