aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/ImplicitParams.hs
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/src/ImplicitParams.hs')
-rw-r--r--html-test/src/ImplicitParams.hs7
1 files changed, 5 insertions, 2 deletions
diff --git a/html-test/src/ImplicitParams.hs b/html-test/src/ImplicitParams.hs
index 4595b8f7..3ca9157b 100644
--- a/html-test/src/ImplicitParams.hs
+++ b/html-test/src/ImplicitParams.hs
@@ -1,10 +1,13 @@
-{-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE ImplicitParams, RankNTypes #-}
module ImplicitParams where
-data X
+data X = X
c :: (?x :: X) => X
c = ?x
d :: (?x :: X, ?y :: X) => (X, X)
d = (?x, ?y)
+
+f :: ((?x :: X) => a) -> a
+f a = let ?x = X in a