diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-08-21 21:09:51 +0200 |
|---|---|---|
| committer | Niklas Haas <git@nand.wakku.to> | 2014-08-24 08:14:35 +0200 |
| commit | fb2a6bf0a53fb243dfe3f769c340236ab73763a9 (patch) | |
| tree | 9877f8ef41934b053d91ab1ee531b98b7bc0965f /html-test/src/FunArgs.hs | |
| parent | 26a44b9f3f539e93f499eea4eda6a354f46b20da (diff) | |
Omit unnecessary foralls and fix #315
This also fixes #86.
Diffstat (limited to 'html-test/src/FunArgs.hs')
| -rw-r--r-- | html-test/src/FunArgs.hs | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/html-test/src/FunArgs.hs b/html-test/src/FunArgs.hs index cfde185d..24e1ccff 100644 --- a/html-test/src/FunArgs.hs +++ b/html-test/src/FunArgs.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE ExplicitForAll #-} +{-# LANGUAGE RankNTypes, DataKinds, TypeFamilies #-} module FunArgs where f :: forall a. Ord a @@ -15,3 +15,24 @@ g :: a -- ^ First argument -> c -- ^ Third argument -> d -- ^ Result g = undefined + + +h :: forall a b c + . a -- ^ First argument + -> b -- ^ Second argument + -> c -- ^ Third argument + -> forall d. d -- ^ Result +h = undefined + + +i :: forall a (b :: ()) d. (d ~ '()) + => forall c + . a b c d -- ^ abcd + -> () -- ^ Result +i = undefined + + +j :: forall proxy (a :: ()) b + . proxy a -- ^ First argument + -> b -- ^ Result +j = undefined |