From fb2a6bf0a53fb243dfe3f769c340236ab73763a9 Mon Sep 17 00:00:00 2001 From: Niklas Haas 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 +++++++++++++++++++++++++++++++++++++++++++-- html-test/src/FunArgs.hs | 23 ++++++++- 2 files changed, 139 insertions(+), 4 deletions(-) (limited to 'html-test') 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");}; >
:: forall a . :: Ord a

h

Arguments

:: a

First argument

-> b

Second argument

-> c

Third argument

-> d

Result

i

Arguments

:: forall (b :: ()). (d ~ ()) 
=> a b c d

abcd

-> ()

Result

j

Arguments

:: forall (a :: ()). proxy a

First argument

-> b

Result