From fb2a6bf0a53fb243dfe3f769c340236ab73763a9 Mon Sep 17 00:00:00 2001
From: Niklas Haas <git@nand.wakku.to>
Date: Thu, 21 Aug 2014 21:09:51 +0200
Subject: Omit unnecessary foralls and fix #315

This also fixes #86.
---
 html-test/ref/FunArgs.html | 120 +++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 117 insertions(+), 3 deletions(-)

(limited to 'html-test/ref')

diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index d3fea6b7..5c1fe892 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -55,9 +55,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");};
 	    ><table
 	    ><tr
 	      ><td class="src"
-		>:: <span class="keyword"
-		  >forall</span
-		  > a . <a href=""
+		>:: <a href=""
 		  >Ord</a
 		  > a</td
 		><td class="doc empty"
@@ -154,6 +152,122 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");};
 	      ></table
 	    ></div
 	  ></div
+	><div class="top"
+	><p class="src"
+	  ><a name="v:h" class="def"
+	    >h</a
+	    ></p
+	  ><div class="subs arguments"
+	  ><p class="caption"
+	    >Arguments</p
+	    ><table
+	    ><tr
+	      ><td class="src"
+		>:: a</td
+		><td class="doc"
+		><p
+		  >First argument</p
+		  ></td
+		></tr
+	      ><tr
+	      ><td class="src"
+		>-&gt; b</td
+		><td class="doc"
+		><p
+		  >Second argument</p
+		  ></td
+		></tr
+	      ><tr
+	      ><td class="src"
+		>-&gt; c</td
+		><td class="doc"
+		><p
+		  >Third argument</p
+		  ></td
+		></tr
+	      ><tr
+	      ><td class="src"
+		>-&gt; d</td
+		><td class="doc"
+		><p
+		  >Result</p
+		  ></td
+		></tr
+	      ></table
+	    ></div
+	  ></div
+	><div class="top"
+	><p class="src"
+	  ><a name="v:i" class="def"
+	    >i</a
+	    ></p
+	  ><div class="subs arguments"
+	  ><p class="caption"
+	    >Arguments</p
+	    ><table
+	    ><tr
+	      ><td class="src"
+		>:: <span class="keyword"
+		  >forall</span
+		  > (b :: <a href=""
+		  >()</a
+		  >). (d ~ <a href=""
+		  >()</a
+		  >)</td
+		><td class="doc empty"
+		>&nbsp;</td
+		></tr
+	      ><tr
+	      ><td class="src"
+		>=&gt; a b c d</td
+		><td class="doc"
+		><p
+		  >abcd</p
+		  ></td
+		></tr
+	      ><tr
+	      ><td class="src"
+		>-&gt; ()</td
+		><td class="doc"
+		><p
+		  >Result</p
+		  ></td
+		></tr
+	      ></table
+	    ></div
+	  ></div
+	><div class="top"
+	><p class="src"
+	  ><a name="v:j" class="def"
+	    >j</a
+	    ></p
+	  ><div class="subs arguments"
+	  ><p class="caption"
+	    >Arguments</p
+	    ><table
+	    ><tr
+	      ><td class="src"
+		>:: <span class="keyword"
+		  >forall</span
+		  > (a :: <a href=""
+		  >()</a
+		  >). proxy a</td
+		><td class="doc"
+		><p
+		  >First argument</p
+		  ></td
+		></tr
+	      ><tr
+	      ><td class="src"
+		>-&gt; b</td
+		><td class="doc"
+		><p
+		  >Result</p
+		  ></td
+		></tr
+	      ></table
+	    ></div
+	  ></div
 	></div
       ></div
     ><div id="footer"
-- 
cgit v1.2.3